No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3491-3491 |
斯威士蘭利蘭吉 是 斯威士蘭 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1356-1356 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 716-716 |
發展中國家 是 斯威士蘭 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 332-332 |
較未發達國家 是 斯威士蘭 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 763-763 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 181-181 |
斯威士蘭 是 非洲南部 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 182-182 |
例 斯威士蘭 and Nation |