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 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