|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 169-169 | 发达国家 是 荷兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 170-170 | 发达国家 是 新西兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 171-171 | 发达国家 是 挪威 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 172-172 | 发达国家 是 葡萄牙 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 173-173 | 发达国家 是 圣马力诺 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 174-174 | 发达国家 是 南非 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 175-175 | 发达国家 是 西班牙 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 176-176 | 发达国家 是 瑞典 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 177-177 | 发达国家 是 瑞士 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 178-178 | 发达国家 是 火鸡 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 179-179 | 发达国家 是 英国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 180-180 | 发达国家 是 美国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 127-127 | "First World" 是对于 发达国家 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 129-129 | 发达国家 的名 是 "industrial country" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | 前苏联或东欧国家 是 发达国家 的直接后续属性 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19308-19308 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19307-19307 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19306-19306 |
|
|
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