No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3381-3381 |
Omani riyal is a currency type of oman |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1316-1316 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 692-692 |
Developing country is an economy type of oman |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 308-308 |
Less developed country is an economy type of oman |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 641-641 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 258-258 |
Oman is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 259-259 |
Oman is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5163-5163 |
Oman meets gulf of oman |