No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2526-2526 |
安汶印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2953-2953 |
巴厘岛印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2965-2965 |
雅加达,印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3177-3177 |
马鲁库群岛印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3216-3216 |
印度尼西亚棉兰 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3381-3381 |
巴布亚印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3554-3554 |
苏拉威西岛印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4178-4178 |
印度尼西亚 的名 是 "Indonesia" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29695-29695 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29694-29694 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29693-29693 |
|