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" and 西南亞 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54342-54342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54341-54341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54340-54340 |
|