No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3217-3217 |
Iranian rial is a currency type of iran |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1262-1262 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 661-661 |
Developing country is an economy type of iran |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 277-277 |
Less developed country is an economy type of iran |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 518-518 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 246-246 |
Iran is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 247-247 |
Iran is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1445-1445 |
President is a leader position of iran |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5162-5162 |
Iran meets gulf of oman |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5155-5155 |
Iran meets persian gulf |