|
| 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" and 發達國家 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | 繼承屬性 前蘇聯或東歐國家 and 發達國家 |
| 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