No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3241-3241 |
Jordanian dinar is a currency type of jordan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1269-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 664-664 |
Developing country is an economy type of jordan |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 280-280 |
Less developed country is an economy type of jordan |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 531-531 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 252-252 |
Jordan is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 253-253 |
Jordan is an instance of nation |