Bind is a type of Relate. Bind is a type of Cover. Cover is the opposite of Bare. Bare is the opposite of Sufficient. 
Instructional is related to Sign. Sign can be used for Identification. 
Relate <--IsA-- Bind --IsA--> Cover <--Antonym--> Bare <--Antonym--> Sufficient 
Instructional <--RelatedTo--> Sign --UsedFor--> Identification 