| Antarctica(antarctica)
| | Antarctic_continent, Antarctica |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3923-3923 | Argentina is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3924-3924 | Australia is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3925-3925 | Chile is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3926-3926 | France is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3927-3927 | New zealand is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3928-3928 | Norway is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3929-3929 | United kingdom is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 226-226 | United kingdom is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3610-3610 | Antarctica is a geographic subregion of antarctic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3527-3527 | Antarctica is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3525-3525 | Antarctica is an instance of continent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4240-4240 | Antarctica is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3528-3528 | Antarctica and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3529-3529 | Antarctica and western hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3526-3526 | Antarctica has name "Antarctica" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7759-7759 | Antarctica has name "Antarctica" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7758-7758 | Antarctica has name "Antarctica" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7757-7757 | Antarctica has name "Antarctica" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2843-2843 | "AQ" in ISO_3166_1_alpha_2 denotes antarctica |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3851-3858 |
|
| 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 3492-3501 | An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity |
| 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 4740-4743 | The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s) |
|
|
|