Tired is a form of Tire. Tire is a type of Wheel. 
Act is the Proceed. Trace is a type of Proceed. Trace is related to Image. 
Tired --FormOf--> Tire --IsA--> Wheel 
Act --DefinedAs--> Proceed <--IsA-- Trace <--RelatedTo--> Image 