No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3321-3321 |
毛里塔尼亞ouguiya 是 毛里求斯 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3325-3325 |
毛里求斯盧比 是 毛里求斯 的 currency 類別 |
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 |
發展中國家 是 毛里求斯 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 297-297 |
較未發達國家 是 毛里求斯 的 economy 類別 |
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 |
毛里求斯 是 非洲南部 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 171-171 |
例 毛里求斯 and Nation |