No TPTP formula. May not be expressible in strict first order. |
Geography.kif 177-177 |
Central asia is a geographic subregion of asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 178-178 |
Eastern asia is a geographic subregion of asia |
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 183-183 |
Southeastern asia is a geographic subregion of asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 182-182 |
Southern asia is a geographic subregion of asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 184-184 |
Southwestern asia is a geographic subregion of asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20288-20288 |
Badger inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20303-20303 |
Bear inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30557-30557 |
Cheetah inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30534-30534 |
Crocodile inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30439-30439 |
Parrot inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30516-30516 |
Reindeer inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30422-30422 |
Rhinoceros inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30402-30402 |
Tiger inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 45-45 |
Europe meets asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3549-3549 |
Asia has name "Asia" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 276-276 |
Europe is west to asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 285-285 |
Middle east region is southwest to asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 279-279 |
North america is east to asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 146-146 |
Middle east region and asia overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 820-820 |
Korean peninsula is a part of asia |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8658-8658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8657-8657 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8656-8656 |
|