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 13749-13750
(subclass AnimalSubstance BodySubstance) Merge.kif 13748-13748 Animal substance is a subclass of body substance

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


(subclass Bone AnimalSubstance) Merge.kif 14057-14057 Bone is a subclass of animal substance
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 8395-8395 Cholesterol is a subclass of animal substance
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 19454-19454 Honey is a subclass of animal substance
(subclass Muscle AnimalSubstance) Merge.kif 14069-14069 Muscle is a subclass of animal substance
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 9073-9073 Sweat is a subclass of animal substance
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 9062-9062 Tendon is a subclass of animal substance
(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 13752-13757


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners