|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 568-568 | 美国军衔o8 是 美国军衔o9 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 581-581 | 美国军衔o9 是 美军军衔o10 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 634-634 | 美国军衔o 是 美国军衔o2 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 644-644 | 美国军衔o2 是 美军军衔W3 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 654-654 | 美军军衔W3 是 美军军衔o4 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 664-664 | 美军军衔o4 是 美军军衔o5 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 428-428 | 中上收入国家 是 高收入国家 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25708-25708 | WarmTemperature 是 HotTemperature 的直接后续属性 |
|
|
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