|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 393-393 | 轨道宽度 是 计量 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2526-2526 | 船只位移 是 计量 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7287-7287 | 重量 是 计量 的 subrelation |
| 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