No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 567-567 |
阿富汗 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 569-569 |
孟加拉国 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 571-571 |
不丹 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 573-573 |
英属印度洋领地 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 574-574 |
印度 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 576-576 |
马尔代夫 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 578-578 |
尼泊尔 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 580-580 |
巴基斯坦 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 582-582 |
斯里兰卡 是 南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 134-134 |
南亚 的名 是 "Southern Asia" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54176-54176 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54175-54175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54174-54174 |
|