Division is related to Break. Break is a type of Solve. Solution is derived from Solve. 
Fork is a type of Tool. Fork is related to Spoon. Spoon is related to Steel. 
Division <--RelatedTo--> Break --IsA--> Solve <--DerivedFrom-- Solution 
Tool <--IsA-- Fork <--RelatedTo--> Spoon <--RelatedTo--> Steel 