|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 393-393 | 子關係 軌道寬度 and 測量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2526-2526 | 子關係 船隻位移 and 測量 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7287-7287 | 子關係 重量 and 測量 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36665-36665 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 608-608 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36664-36664 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36663-36663 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 351-351 |
|
|
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