No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3321-3321 |
Mauritanian ouguiya is a currency type of mauritius |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3325-3325 |
Mauritian rupee is a currency type of mauritius |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1293-1293 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 681-681 |
Developing country is an economy type of mauritius |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 297-297 |
Less developed country is an economy type of mauritius |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 587-587 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 170-170 |
Mauritius is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 171-171 |
Mauritius is an instance of nation |