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 "这是只属于 AnimalAnatomicalStructure。") chinese_format.kif 3495-3496
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 15150-15151
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 25367-25367 %每个 动物解剖结构动物initially part
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15149-15149 动物解剖结构解剖结构subclass

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15068-15068 解剖结构 详尽无遗地 partition动物解剖结构植物解剖结构
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 14148-14148 Abdomen动物解剖结构subclass
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 12423-12423 肺泡动物解剖结构subclass
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 12856-12856 动物壳动物解剖结构subclass
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 11481-11481 血细胞动物解剖结构subclass
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 12409-12409 血管动物解剖结构subclass
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 13178-13178 动物解剖结构subclass
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 14159-14159 乳房动物解剖结构subclass
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 12397-12397 支气管动物解剖结构subclass
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 12544-12544 Chest动物解剖结构subclass
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 14249-14249 下巴动物解剖结构subclass
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 13812-13812 数字附属物动物解剖结构subclass
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 13472-13472 动物解剖结构subclass
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15178-15178 动物解剖结构subclass
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 13000-13000 外骨骼动物解剖结构subclass
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 13438-13438 眼睛动物解剖结构subclass
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 14213-14213 面对动物解剖结构subclass
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 21953-21953 羽毛动物解剖结构subclass
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 14028-14028 动物解剖结构subclass
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 13382-13382 GastroIntestinalTract动物解剖结构subclass
(subclass Gills AnimalAnatomicalStructure) Medicine.kif 265-265 Gills动物解剖结构subclass
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 13112-13112 头发动物解剖结构subclass
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 13800-13800 动物解剖结构subclass
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 14196-14196 动物解剖结构subclass
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 12667-12667 动物解剖结构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 15153-15158


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