No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 630-630 |
亚美尼亚 是 西南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 632-632 |
阿塞拜疆 是 西南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 634-634 |
格鲁吉亚共和国 是 西南亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 136-136 |
西南亚 的名 是 "Southwestern Asia" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54344-54344 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54343-54343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54342-54342 |
|