No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3105-3105 |
吉布提法郎 是 吉布提 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1225-1225 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 640-640 |
發展中國家 是 吉布提 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 256-256 |
較未發達國家 是 吉布提 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 97-97 |
吉布提 是 東非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 98-98 |
例 吉布提 and Nation |