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 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 |
|