|
|
  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 e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | NorthernAfrica engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | NorthernAfrica engloba 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 se chama nome "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 |
|
|
|
