Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass AnimalSubstance BodySubstance) Merge.kif 14812-14812 Animal substance is a subclass of body substance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8708-8708 Cholesterol is a subclass of animal substance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9446-9446 Tendon is a subclass of animal substance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9457-9457 Sweat is a subclass of animal substance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 21632-21632 Honey is a subclass of animal substance
(subclass Meat AnimalSubstance) Merge.kif 14876-14876 Meat is a subclass of animal substance
(subclass BoneTissue AnimalSubstance) Merge.kif 15190-15190 Bone tissue is a subclass of animal substance
(subclass MuscleTissue AnimalSubstance) Merge.kif 15225-15225 Muscle tissue is a subclass of animal substance


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners