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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalAnatomicalStructure
AnimalAnatomicalStructure(动物解剖结构)

appearance as argument number 1
-------------------------


(documentation AnimalAnatomicalStructure ChineseLanguage "这是只属于 Animal 的 AnatomicalStructure。") chinese_format.kif 3495-3496
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 14733-14734
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23168-23168 %每个 动物解剖结构 是 动物 的 initially part
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14732-14732 动物解剖结构 是 解剖结构 的 subclass

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14651-14651 解剖结构 详尽无遗地 partition 成 动物解剖结构 和 植物解剖结构
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12282-12282 Abdomen 是 动物解剖结构 的 subclass
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 10599-10599 肺泡 是 动物解剖结构 的 subclass
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11010-11010 动物壳 是 动物解剖结构 的 subclass
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9724-9724 血细胞 是 动物解剖结构 的 subclass
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 10585-10585 血管 是 动物解剖结构 的 subclass
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11332-11332 脑 是 动物解剖结构 的 subclass
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12293-12293 乳房 是 动物解剖结构 的 subclass
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 10573-10573 支气管 是 动物解剖结构 的 subclass
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 10719-10719 Chest 是 动物解剖结构 的 subclass
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12383-12383 下巴 是 动物解剖结构 的 subclass
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 11962-11962 数字附属物 是 动物解剖结构 的 subclass
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 11623-11623 耳 是 动物解剖结构 的 subclass
(subclass Egg AnimalAnatomicalStructure) Merge.kif 14761-14761 蛋 是 动物解剖结构 的 subclass
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11154-11154 外骨骼 是 动物解剖结构 的 subclass
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 11589-11589 眼睛 是 动物解剖结构 的 subclass
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12347-12347 面对 是 动物解剖结构 的 subclass
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 19667-19667 羽毛 是 动物解剖结构 的 subclass
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12162-12162 足 是 动物解剖结构 的 subclass
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 11533-11533 GastroIntestinalTract 是 动物解剖结构 的 subclass
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11266-11266 头发 是 动物解剖结构 的 subclass
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 11950-11950 手 是 动物解剖结构 的 subclass
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12330-12330 头 是 动物解剖结构 的 subclass
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 10840-10840 心 是 动物解剖结构 的 subclass
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 10960-10960 蹄 是 动物解剖结构 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 14736-14741


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