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 14300-14301
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 22193-22193 %每个 动物解剖结构动物initially part
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14299-14299 动物解剖结构解剖结构subclass

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14218-14218 解剖结构 详尽无遗地 partition动物解剖结构植物解剖结构
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 11404-11404 Abdomen动物解剖结构subclass
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9931-9931 肺泡动物解剖结构subclass
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 10302-10302 动物壳动物解剖结构subclass
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9229-9229 血细胞动物解剖结构subclass
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9917-9917 血管动物解剖结构subclass
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10579-10579 动物解剖结构subclass
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 11415-11415 乳房动物解剖结构subclass
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9905-9905 支气管动物解剖结构subclass
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 10051-10051 Chest动物解剖结构subclass
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 11505-11505 下巴动物解剖结构subclass
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 11090-11090 数字附属物动物解剖结构subclass
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10821-10821 动物解剖结构subclass
(subclass Egg AnimalAnatomicalStructure) Merge.kif 14328-14328 动物解剖结构subclass
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 10446-10446 外骨骼动物解剖结构subclass
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10806-10806 眼睛动物解剖结构subclass
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 11469-11469 面对动物解剖结构subclass
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18706-18706 羽毛动物解剖结构subclass
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 11284-11284 动物解剖结构subclass
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 10764-10764 GastroIntestinalTract动物解剖结构subclass
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 10511-10511 头发动物解剖结构subclass
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 11078-11078 动物解剖结构subclass
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 11452-11452 动物解剖结构subclass
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 10161-10161 动物解剖结构subclass
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 10252-10252 动物解剖结构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 14303-14308


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