Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalSubstance

Sigma KEE - AnimalSubstance
AnimalSubstance

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


(documentation AnimalSubstance ChineseLanguage "这是只由 Animal 所产生的 BodySubstance。") Merge.kif 14806-14806
(documentation AnimalSubstance EnglishLanguage "BodySubstances that are produced exclusively by Animals.") Merge.kif 14804-14805
(subclass AnimalSubstance BodySubstance) Merge.kif 14803-14803

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


(subclass Bone AnimalSubstance) Merge.kif 15165-15165
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8374-8374
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 18970-18970
(subclass Muscle AnimalSubstance) Merge.kif 15179-15179
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9052-9052
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9041-9041
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 1704-1704

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners