No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3453-3453 |
新加坡元 是 新加坡 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1345-1345 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 556-556 |
發達經濟 是 新加坡 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 375-375 |
四龍經濟 是 新加坡 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 732-732 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 621-621 |
新加坡 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 622-622 |
例 新加坡 and Nation |