No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3445-3445 |
Seychelles rupee is a currency type of seychelles |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1343-1343 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 708-708 |
Developing country is an economy type of seychelles |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 324-324 |
Less developed country is an economy type of seychelles |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 723-723 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 105-105 |
Seychelles is a geographic subregion of eastern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 106-106 |
Seychelles is an instance of nation |