| AntarcticArea(antarctic area)
| | antarctic_area, 南极地区, 南極地區 |
| appearance as argument number 1 |
|
|
| (documentation AntarcticArea EnglishLanguage "The area below the AntarcticCircle, which is 66 degrees 33 minutes and 38 seconds south latitude. It is dark for at least 24 hours at some point during the year, with an increasing period of yearly continuous darkness as one gets closer to the South Pole.") | Geography.kif 3450-3454 | |
| (externalImage AntarcticArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 48/ LocationAntarctica.png/ 250px-LocationAntarctica.png") | pictureList.kif 1314-1314 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 48/ LocationAntarctica.png/ 250px-LocationAntarctica.png" is a URL depicting antarctic area |
| (instance AntarcticArea GeographicArea) | Geography.kif 3448-3448 | Antarctic area is an instance of geographic area |
| (instance AntarcticArea LandArea) | Geography.kif 3449-3449 | Antarctic area is an instance of land area |
| appearance as argument number 2 |
|
|
| (geographicSubregion Antarctica AntarcticArea) | Geography.kif 3447-3447 | Antarctica is a geographic subregion of antarctic area |
| (termFormat ChineseLanguage AntarcticArea "南极地区") | domainEnglishFormat.kif 7765-7765 | "南极地区" is the printable form of antarctic area in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage AntarcticArea "南極地區") | domainEnglishFormat.kif 7764-7764 | "南極地區" is the printable form of antarctic area in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage AntarcticArea "antarctic area") | domainEnglishFormat.kif 7763-7763 | "antarctic area" is the printable form of antarctic area in english language |
| antecedent |
|
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3456-3465 |
|
|
|
|