|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2991-2991 | 过境路线 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2924-2924 | 中转站 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14265-14265 | 公交专用道 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17673-17673 | UnderwaterRegion 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 831-831 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 864-864 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 507-507 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 39-39 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 42-42 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2192-2192 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 459-459 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 528-528 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 43-43 |
|
|
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