Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 15018-15018 子類 動物解剖結構 and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10151-10151 子類 血細胞 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10753-10753 子類 神經細胞 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10938-10938 子類 脊柱 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10969-10969 子類 尾巴 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10986-10986 子類 皮膚 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11052-11052 子類 視網膜 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11065-11065 子類 支氣管 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11077-11077 子類 血管 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11091-11091 子類 肺泡 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11186-11186 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11212-11212 子類 Chest and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11238-11238 子類 RibCage and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11266-11266 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11285-11285 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11312-11312 子類 鼻孔 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11335-11335 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11386-11386 子類 Pericardium and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11416-11416 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11420-11420 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11432-11432 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11445-11445 子類 神經系統 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11456-11456 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11524-11524 子類 動物殼 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11587-11587 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11649-11649 子類 骨架 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11668-11668 子類 外骨骼 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11720-11720 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11780-11780 子類 頭髮 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11846-11846 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12024-12024 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12033-12033 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12050-12050 子類 GastroIntestinalTract and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12070-12070 子類 Rectum and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12084-12084 子類 RespiratoryTract and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12094-12094 子類 下丘腦 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12106-12106 子類 眼睛 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12140-12140 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12189-12189 子類 鼻子 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12468-12468 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12480-12480 子類 數字附屬物 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12519-12519 子類 指甲數字 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12548-12548 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12696-12696 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12756-12756 子類 腳趾 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12779-12779 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12805-12805 子類 軀幹 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12816-12816 子類 Abdomen and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12827-12827 子類 乳房 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12864-12864 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12869-12869 子類 頸部 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12881-12881 子類 面對 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12917-12917 子類 下巴 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20335-20335 子類 羽毛 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Merge.kif 15047-15047 子類 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Medicine.kif 265-265 子類 Gills and 動物解剖結構


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