|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | 实数 兰金度 equal 那个 实数 和 1.8 凯文度 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7304-7306 | 实数 金属块 equal 那个 实数 和 14593.90 公克 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7257-7259 | 实数 英国加仑 equal 那个 实数 和 4.54609 升 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7391-7393 | 实数 美国分 equal 那个 实数 和 0.01 美国美元 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7212-7214 | 实数 美国加仑 equal 那个 实数 和 3.785411784 升 |
|
|
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