No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 598-598 |
阿什莫爾和卡地亞島嶼 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 599-599 |
文萊 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 604-604 |
柬埔寨 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 606-606 |
聖誕島 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 607-607 |
科科斯基林群島 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 608-608 |
東帝 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 610-610 |
印度尼西亞 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 612-612 |
寮 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 614-614 |
馬來西亞 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 601-601 |
緬甸 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 616-616 |
巴布亞新幾內亞 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 618-618 |
西沙群島 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 619-619 |
菲律賓 是 東南亞 的 geographic 次要地區 |
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 623-623 |
南沙群島 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 624-624 |
泰國 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 626-626 |
越南 是 東南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 135-135 |
名 "Southeastern Asia" and 東南亞 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54096-54096 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54095-54095 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54094-54094 |
|