No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 545-545 |
China is a geographic subregion of eastern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 547-547 |
Hong kong is a geographic subregion of eastern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 548-548 |
Japan is a geographic subregion of eastern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 555-555 |
Macau is a geographic subregion of eastern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 551-551 |
North korea is a geographic subregion of eastern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 553-553 |
South korea is a geographic subregion of eastern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 556-556 |
Taiwan is a geographic subregion of eastern asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 132-132 |
Eastern asia has name "Eastern Asia" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20844-20844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20843-20843 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20842-20842 |
|