Back is part of Body. Guarantee is a type of Back. 
Bind is a synonym of Tie. Tie is related to Join. Join is related to Database. Database is a type of Information. 
Body <--PartOf-- Back <--IsA-- Guarantee 
Bind <--Synonym--> Tie <--RelatedTo--> Join <--RelatedTo--> Database --IsA--> Information 