Diamond is a type of Artifact. Model is a type of Artifact. Model is a synonym of Example. Example is a synonym of Representative. 
Mayor is related to Man. Man is the opposite of Animal. Animal is related to Back. 
Diamond --IsA--> Artifact <--IsA-- Model <--Synonym--> Example <--Synonym--> Representative 
Mayor <--RelatedTo--> Man <--Antonym--> Animal <--RelatedTo--> Back 