NorthernAsia(northern asia) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6735-6735 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 179-179 | Northern asia is a geographic subregion of asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 262-262 | Northern asia is a geographic subregion of eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 180-180 | Northern asia is a geographic subregion of northern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 102-102 | Northern asia is an instance of geographic area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 559-559 | Mongolia is a geographic subregion of northern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 561-561 | Russia is a geographic subregion of northern asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 133-133 | Northern asia has name "Northern Asia" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41049-41049 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41048-41048 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41047-41047 |