NorthernAfrica |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6734-6734 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7455-7455 | |
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 196-196 | geographicSubregion NorthernAfrica and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 80-80 | NorthernAfrica est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | NorthernAfrica recouvre EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | NorthernAfrica recouvre WesternHemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 116-116 | geographicSubregion Algeria and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 118-118 | geographicSubregion Egypt and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 120-120 | geographicSubregion Libya and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 122-122 | geographicSubregion Mauritania and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 124-124 | geographicSubregion Morocco and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 127-127 | geographicSubregion Sudan and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 129-129 | geographicSubregion Tunisia and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 131-131 | geographicSubregion WesternSahara and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 110-110 | NorthernAfrica s'appele nom "Northern Africa" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41025-41025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41024-41024 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41023-41023 |