No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3563-3563 |
Uruguayan peso is a currency type of uruguay |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1377-1377 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 726-726 |
Developing country is an economy type of uruguay |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 342-342 |
Less developed country is an economy type of uruguay |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 815-815 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 519-519 |
Uruguay is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 520-520 |
Uruguay is an instance of nation |