Canvas is a type of Cloth. Canvas is related to Painting. 
Proof is related to Math. Math is related to School. School is related to Admit. Admit is related to Fault. 
Cloth <--IsA-- Canvas <--RelatedTo--> Painting 
Proof <--RelatedTo--> Math <--RelatedTo--> School <--RelatedTo--> Admit <--RelatedTo--> Fault 