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

KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalSubstance
AnimalSubstance

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


(subclass AnimalSubstance BodySubstance) Merge.kif 15124-15124
(documentation AnimalSubstance EnglishLanguage "BodySubstances that are produced exclusively by Animals.") Merge.kif 15125-15126

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


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

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


(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15128-15133


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


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