No TPTP formula. May not be expressible in strict first order. |
Geography.kif 139-139 |
Central africa is a geographic subregion of africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 140-140 |
Eastern africa is a geographic subregion of africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 326-326 |
Mediterranean Region is a geographic subregion of africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 141-141 |
Northern africa is a geographic subregion of africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 142-142 |
Southern africa is a geographic subregion of africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 143-143 |
Western africa is a geographic subregion of africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21907-21907 |
Badger inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32504-32504 |
Cheetah inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32482-32482 |
Crocodile inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32290-32290 |
Lion inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32386-32386 |
Parrot inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32369-32369 |
Rhinoceros inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3680-3680 |
Africa has &ames$"name" "Africa" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 275-275 |
Europe is north to africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 286-286 |
Middle east region is northeast to africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 126-126 |
Morocco is a part of africa |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5733-5733 |
Morocco is a part of africa |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5732-5732 |
Morocco is a part of africa |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5731-5731 |
Morocco is a part of africa |