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 14813-14814
(subclass AnimalSubstance BodySubstance) Merge.kif 14812-14812 Animal substance is a subclass of body substance

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


(subclass BoneTissue AnimalSubstance) Merge.kif 15190-15190 Bone tissue is a subclass of animal substance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8708-8708 Cholesterol is a subclass of animal substance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 21632-21632 Honey is a subclass of animal substance
(subclass Meat AnimalSubstance) Merge.kif 14876-14876 Meat is a subclass of animal substance
(subclass MuscleTissue AnimalSubstance) Merge.kif 15225-15225 Muscle tissue is a subclass of animal substance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9457-9457 Sweat is a subclass of animal substance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9446-9446 Tendon is a subclass of animal substance
(termFormat ChineseLanguage AnimalSubstance "动物物质") domainEnglishFormat.kif 7620-7620
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質") domainEnglishFormat.kif 7619-7619
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 7618-7618

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


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


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