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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalSubstance
AnimalSubstance

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


(documentation AnimalSubstance ChineseLanguage "这是只由 Animal 所产生的 BodySubstance。") chinese_format.kif 3474-3474
(documentation AnimalSubstance EnglishLanguage "BodySubstances that are produced exclusively by Animals.") Merge.kif 13749-13750
(subclass AnimalSubstance BodySubstance) Merge.kif 13748-13748

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


(subclass Bone AnimalSubstance) Merge.kif 14057-14057
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8395-8395
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 19454-19454
(subclass Muscle AnimalSubstance) Merge.kif 14069-14069
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9073-9073
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9062-9062
(termFormat ChineseLanguage AnimalSubstance "动物物质") domainEnglishFormat.kif 7627-7627
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質") domainEnglishFormat.kif 7626-7626
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 7625-7625

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


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


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