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 13648-13649
(subclass AnimalSubstance BodySubstance) Merge.kif 13647-13647 subclass AnimalSubstance and BodySubstance

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


(subclass Bone AnimalSubstance) Merge.kif 13956-13956 subclass Bone and AnimalSubstance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8388-8388 subclass Cholesterol and AnimalSubstance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 19390-19390 subclass Honey and AnimalSubstance
(subclass Muscle AnimalSubstance) Merge.kif 13968-13968 subclass Muscle and AnimalSubstance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9066-9066 subclass Sweat and AnimalSubstance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9055-9055 subclass Tendon and AnimalSubstance
(termFormat ChineseLanguage AnimalSubstance "动物物质") domainEnglishFormat.kif 7627-7627 termFormat ChineseLanguage, AnimalSubstance and "动物物质"
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質") domainEnglishFormat.kif 7626-7626 termFormat ChineseTraditionalLanguage, AnimalSubstance and "動物物質"
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 7625-7625 termFormat EnglishLanguage, AnimalSubstance and "animal substance"

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


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


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