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 14997-14998
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23721-23721 %每个 动物解剖结构 是 动物 的 initially part
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14996-14996 动物解剖结构 是 解剖结构 的 subclass

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14915-14915 解剖结构 详尽无遗地 partition 成 动物解剖结构 和 植物解剖结构
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12817-12817 Abdomen 是 动物解剖结构 的 subclass
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 11092-11092 肺泡 是 动物解剖结构 的 subclass
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11525-11525 动物壳 是 动物解剖结构 的 subclass
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 10152-10152 血细胞 是 动物解剖结构 的 subclass
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 11078-11078 血管 是 动物解剖结构 的 subclass
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11847-11847 脑 是 动物解剖结构 的 subclass
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12828-12828 乳房 是 动物解剖结构 的 subclass
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 11066-11066 支气管 是 动物解剖结构 的 subclass
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 11213-11213 Chest 是 动物解剖结构 的 subclass
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12918-12918 下巴 是 动物解剖结构 的 subclass
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 12481-12481 数字附属物 是 动物解剖结构 的 subclass
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 12141-12141 耳 是 动物解剖结构 的 subclass
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15025-15025 蛋 是 动物解剖结构 的 subclass
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11669-11669 外骨骼 是 动物解剖结构 的 subclass
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 12107-12107 眼睛 是 动物解剖结构 的 subclass
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12882-12882 面对 是 动物解剖结构 的 subclass
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 20336-20336 羽毛 是 动物解剖结构 的 subclass
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12697-12697 足 是 动物解剖结构 的 subclass
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 12051-12051 GastroIntestinalTract 是 动物解剖结构 的 subclass
(subclass Gills AnimalAnatomicalStructure) Medicine.kif 265-265 Gills 是 动物解剖结构 的 subclass
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11781-11781 头发 是 动物解剖结构 的 subclass
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 12469-12469 手 是 动物解剖结构 的 subclass
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12865-12865 头 是 动物解剖结构 的 subclass
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 11336-11336 心 是 动物解剖结构 的 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 15000-15005


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