No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 630-630 |
Armenia is a geographic subregion of southwestern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 632-632 |
Azerbaijan is a geographic subregion of southwestern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 634-634 |
Republic of georgia is a geographic subregion of southwestern asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 136-136 |
Southwestern asia has name "Southwestern Asia" |
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 |
|