Define is a type of Specify. Define is related to Prove. Prove is related to Goal. 
Tooth is related to Chew. Chew is related to Eating. 
Specify <--IsA-- Define <--RelatedTo--> Prove <--RelatedTo--> Goal 
Tooth <--RelatedTo--> Chew <--RelatedTo--> Eating 