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 14966-14967
(subclass AnimalSubstance BodySubstance) Merge.kif 14965-14965 AnimalSubstance体物質subclass では

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


(subclass BoneTissue AnimalSubstance) Merge.kif 15343-15343 BoneTissueAnimalSubstancesubclass では
(subclass Cholesterol AnimalSubstance) Mid-level-ontology.kif 9914-9914 CholesterolAnimalSubstancesubclass では
(subclass Honey AnimalSubstance) Mid-level-ontology.kif 23249-23249 HoneyAnimalSubstancesubclass では
(subclass Meat AnimalSubstance) Merge.kif 15029-15029 AnimalSubstancesubclass では
(subclass MuscleTissue AnimalSubstance) Merge.kif 15378-15378 MuscleTissueAnimalSubstancesubclass では
(subclass Sweat AnimalSubstance) Mid-level-ontology.kif 10786-10786 SweatAnimalSubstancesubclass では
(subclass Tendon AnimalSubstance) Mid-level-ontology.kif 10775-10775 TendonAnimalSubstancesubclass では
(termFormat ChineseLanguage AnimalSubstance "动物物质") domainEnglishFormat.kif 7621-7621 TendonAnimalSubstancesubclass では
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質") domainEnglishFormat.kif 7620-7620 TendonAnimalSubstancesubclass では
(termFormat EnglishLanguage AnimalSubstance "animal substance") domainEnglishFormat.kif 7619-7619 TendonAnimalSubstancesubclass では

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


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


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