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 est une instance de continent |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4240-4240 | Antarctica est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3540-3540 | Antarctica recouvre EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | Antarctica recouvre WesternHemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3538-3538 | Antarctica s'appele nom "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 | 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 292-296 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4671-4674 | Le longueur de ShorelineFn SouthernOcean and Antarctica est 17968.0 1 millier Meters(s) |