No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1304-1304 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 686-686 |
Developing country is an economy type of namibia |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 302-302 |
Less developed country is an economy type of namibia |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 612-612 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 175-175 |
Namibia is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 176-176 |
Namibia is an instance of nation |