No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3253-3253 |
Kiribati dollar is a currency type of kiribati |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1272-1272 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 666-666 |
Developing country is an economy type of kiribati |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 282-282 |
Less developed country is an economy type of kiribati |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 539-539 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 674-674 |
Kiribati is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 675-675 |
Kiribati is an instance of nation |