|
|
  Antarctica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3923-3923 | claimedTerritory Antarctica and Argentina |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3924-3924 | claimedTerritory Antarctica and Australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3925-3925 | claimedTerritory Antarctica and Chile |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3926-3926 | claimedTerritory Antarctica and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3927-3927 | claimedTerritory Antarctica and NewZealand |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3928-3928 | claimedTerritory Antarctica and Norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3929-3929 | claimedTerritory Antarctica and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 226-226 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3622-3622 | geographicSubregion Antarctica and AntarcticArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3539-3539 | geographicSubregion Antarctica and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3537-3537 | Antarctica e' uma instancia de Continente |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4240-4240 | Antarctica e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3540-3540 | Antarctica engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | Antarctica engloba WesternHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3538-3538 | Antarctica se chama nome "Antarctica" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7752-7752 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7751-7751 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7750-7750 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2843-2843 | codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 292-296 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 292-296 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4671-4674 | O comprimento de ShorelineFn SouthernOcean and Antarctica e' 17968.0 1 mil Meters(s) |
|
|
|
