|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 169-169 | Developed country is an economy type of netherlands |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 170-170 | Developed country is an economy type of new zealand |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 171-171 | Developed country is an economy type of norway |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 172-172 | Developed country is an economy type of portugal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 173-173 | Developed country is an economy type of san marino |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 174-174 | Developed country is an economy type of south africa |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 175-175 | Developed country is an economy type of spain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 176-176 | Developed country is an economy type of sweden |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 177-177 | Developed country is an economy type of switzerland |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 178-178 | Developed country is an economy type of turkey |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 179-179 | Developed country is an economy type of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 180-180 | Developed country is an economy type of united states |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 127-127 | "First World" is a former name for developed country |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 129-129 | Developed country has name "industrial country" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | Former soviet or eastern european country is an immediate successor attribute of developed country |
| 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