No TPTP formula. May not be expressible in strict first order. |
Geography.kif 139-139 |
geographicSubregion CentralAfrica and Africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 140-140 |
geographicSubregion EasternAfrica and Africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 141-141 |
geographicSubregion NorthernAfrica and Africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 142-142 |
geographicSubregion SouthernAfrica and Africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 143-143 |
geographicSubregion WesternAfrica and Africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20290-20290 |
habitatOfOrganism Badger and Africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30570-30570 |
habitatOfOrganism Cheetah and Africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30548-30548 |
habitatOfOrganism Crocodile and Africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30372-30372 |
habitatOfOrganism Lion and Africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30452-30452 |
habitatOfOrganism Parrot and Africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30435-30435 |
habitatOfOrganism Rhinoceros and Africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3522-3522 |
Africa se chama nome "Africa" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 275-275 |
Europe e' North em relacao a Africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 286-286 |
MiddleEastRegion e' Northeast em relacao a Africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 126-126 |
Morocco e' uma &parte de Africa |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5724-5724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5723-5723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5722-5722 |
|