Sort is a synonym of Type. Type is related to Rock. Rock can be Heavy. Heavy is related to Push. 
Border is a type of Supply. Border is a synonym of Butt. Butt is related to Seat. 
Sort <--Synonym--> Type <--RelatedTo--> Rock --HasProperty--> Heavy <--RelatedTo--> Push 
Supply <--IsA-- Border <--Synonym--> Butt <--RelatedTo--> Seat 