No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3487-3487 |
Surinamese guilder is a currency type of suriname |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1355-1355 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 715-715 |
Developing country is an economy type of suriname |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 331-331 |
Less developed country is an economy type of suriname |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 761-761 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 508-508 |
Suriname is a geographic subregion of northern south america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 509-509 |
Suriname is an instance of nation |