No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3453-3453 |
Singapore dollar is a currency type of singapore |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1345-1345 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 556-556 |
Advanced economy is an economy type of singapore |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 375-375 |
Four dragons economy is an economy type of singapore |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 732-732 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 621-621 |
Singapore is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 622-622 |
Singapore is an instance of nation |