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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3495-3496
No TPTP formula. May not be expressible in strict first order. Merge.kif 14997-14998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23721-23721 %每个 动物解剖结构动物initially part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14996-14996 动物解剖结构解剖结构subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14915-14915 解剖结构 详尽无遗地 partition动物解剖结构植物解剖结构
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12817-12817 Abdomen动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11092-11092 肺泡动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11525-11525 动物壳动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10152-10152 血细胞动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11078-11078 血管动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11847-11847 动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12828-12828 乳房动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11066-11066 支气管动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11213-11213 Chest动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12918-12918 下巴动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12481-12481 数字附属物动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12141-12141 动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15025-15025 动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11669-11669 外骨骼动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12107-12107 眼睛动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12882-12882 面对动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20336-20336 羽毛动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12697-12697 动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12051-12051 GastroIntestinalTract动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 265-265 Gills动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11781-11781 头发动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12469-12469 动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12865-12865 动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11336-11336 动物解剖结构subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. 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