Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AnimalSubstance

 Sigma KEE - AnimalSubstance
AnimalSubstance(animal substance)

appearance as argument number 1
-------------------------


(subclass AnimalSubstance BodySubstance) Merge.kif 15124-15124 Animal substance is a subclass of body substance
(documentation AnimalSubstance EnglishLanguage "BodySubstances that are produced exclusively by Animals.") Merge.kif 15125-15126 Animal substance is a subclass of body substance

appearance as argument number 2
-------------------------


(subclass Meat AnimalSubstance) Merge.kif 15184-15184 Meat is a subclass of animal substance
(subclass BoneTissue AnimalSubstance) Merge.kif 15486-15486 Bone tissue is a subclass of animal substance
(subclass MuscleTissue AnimalSubstance) Merge.kif 15521-15521 Muscle tissue is a subclass of animal substance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 10068-10068 Cholesterol is a subclass of animal substance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 10937-10937 Tendon is a subclass of animal substance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 10948-10948 Sweat is a subclass of animal substance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 23905-23905 Honey is a subclass of animal substance
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 7613-7613 Honey is a subclass of animal substance
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質") domainEnglishFormat.kif 7614-7614 Honey is a subclass of animal substance
(termFormat ChineseLanguage AnimalSubstance "动物物质") domainEnglishFormat.kif 7615-7615 Honey is a subclass of animal substance

antecedent
-------------------------


(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15128-15133 If X is an instance of animal substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners