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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalSubstance
AnimalSubstance(animal substance)

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 14565-14566
(subclass AnimalSubstance BodySubstance) Merge.kif 14564-14564 Animal substance is a subclass of body substance

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


(subclass BoneTissue AnimalSubstance) Merge.kif 14936-14936 BoneTissue is a subclass of animal substance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8357-8357 Cholesterol is a subclass of animal substance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 21138-21138 Honey is a subclass of animal substance
(subclass MuscleTissue AnimalSubstance) Merge.kif 14971-14971 MuscleTissue is a subclass of animal substance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9100-9100 Sweat is a subclass of animal substance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9089-9089 Tendon is a subclass of animal substance
(termFormat ChineseLanguage AnimalSubstance "动物物质") domainEnglishFormat.kif 7629-7629
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質") domainEnglishFormat.kif 7628-7628
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 7627-7627

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


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


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