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 20289-20289 |
Badger inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20304-20304 |
Bear inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30569-30569 |
Cheetah inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30546-30546 |
Crocodile inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30451-30451 |
Parrot inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30528-30528 |
Reindeer inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30434-30434 |
Rhinoceros inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30414-30414 |
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 |
|