| Africa
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3525-3525 | geographicSubregion Africa and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3521-3521 | Africa est une instance de continent |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 282-282 | Africa est Southeast � NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 280-280 | Africa est Northeast � SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3523-3523 | Africa recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3524-3524 | Africa recouvre SouthernHemisphere |
| appearance as argument number 2 |
|
|
| 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 20317-20317 | habitatOfOrganism Badger and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30594-30594 | habitatOfOrganism Cheetah and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30572-30572 | habitatOfOrganism Crocodile and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30396-30396 | habitatOfOrganism Lion and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30476-30476 | habitatOfOrganism Parrot and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30459-30459 | habitatOfOrganism Rhinoceros and Africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3522-3522 | Africa s'appele nom "Africa" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | Europe est North � Africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 286-286 | MiddleEastRegion est Northeast � Africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 126-126 | Morocco est une partie 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 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | Entit� est une instance de continent Africa est entit� NorthAmerica est entit� SouthAmerica est entit� Antarctica est entit� Europe est entit� Asia est entit� Oceania est entit� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6719-6721 |
|
|
|