Ideal is similar to Abstract. Abstract is similar to Theoretical. 
Sheep is related to Milk. Milk is related to Coffee. Coffee can be Bitter. 
Ideal <--SimilarTo--> Abstract <--SimilarTo--> Theoretical 
Sheep <--RelatedTo--> Milk <--RelatedTo--> Coffee --HasProperty--> Bitter 