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 13766-13767
(subclass AnimalSubstance BodySubstance) Merge.kif 13765-13765 subclass AnimalSubstance and BodySubstance

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


(subclass Bone AnimalSubstance) Merge.kif 14074-14074 subclass Bone and AnimalSubstance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8368-8368 subclass Cholesterol and AnimalSubstance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 19427-19427 subclass Honey and AnimalSubstance
(subclass Muscle AnimalSubstance) Merge.kif 14086-14086 subclass Muscle and AnimalSubstance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9046-9046 subclass Sweat and AnimalSubstance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9035-9035 subclass Tendon and AnimalSubstance
(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 13769-13774


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 is open source software produced by Articulate Software and its partners