| 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 15019-15020 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23720-23720 | %每個 動物解剖結構 是 Animal 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | 子類 動物解剖結構 and AnatomicalStructure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14937-14937 | 劃分 AnatomicalStructure, 動物解剖結構 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 11091-11091 | 子類 肺泡 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 10151-10151 | 子類 血細胞 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 11846-11846 | 子類 腦 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 11065-11065 | 子類 支氣管 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 12917-12917 | 子類 下巴 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 12140-12140 | 子類 耳 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. | Mid-level-ontology.kif 11668-11668 | 子類 外骨骼 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 12881-12881 | 子類 面對 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. | Mid-level-ontology.kif 12696-12696 | 子類 足 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. | Medicine.kif 265-265 | 子類 Gills 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 12468-12468 | 子類 手 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 11335-11335 | 子類 心 and 動物解剖結構 |
| 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 15022-15027 |
|
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