No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3257-3257 |
Kuwaiti dinar is a currency type of kuwait |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1274-1274 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 667-667 |
Developing country is an economy type of kuwait |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 283-283 |
Less developed country is an economy type of kuwait |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 543-543 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 254-254 |
Kuwait is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 255-255 |
Kuwait is an instance of nation |