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

Formal Language: 


KB Term:  Term intersection
English Word: 

  AnimalSubstance

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 14966-14967
(subclass AnimalSubstance BodySubstance) Merge.kif 14965-14965 Animal substance is a subclass of body substance

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


(subclass BoneTissue AnimalSubstance) Merge.kif 15343-15343 Bone tissue is a subclass of animal substance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 9914-9914 Cholesterol is a subclass of animal substance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 23249-23249 Honey is a subclass of animal substance
(subclass Meat AnimalSubstance) Merge.kif 15029-15029 Meat is a subclass of animal substance
(subclass MuscleTissue AnimalSubstance) Merge.kif 15378-15378 Muscle tissue is a subclass of animal substance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 10786-10786 Sweat is a subclass of animal substance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 10775-10775 Tendon is a subclass of animal substance
(termFormat ChineseLanguage AnimalSubstance "动物物质") domainEnglishFormat.kif 7621-7621 Tendon is a subclass of animal substance
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質") domainEnglishFormat.kif 7620-7620 Tendon is a subclass of animal substance
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 7619-7619 Tendon is a subclass of animal substance

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


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


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