Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntarcticArea

Sigma KEE - AntarcticArea
AntarcticArea(南极地区)

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 3625-3629
(externalImage AntarcticArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 48/ LocationAntarctica.png/ 250px-LocationAntarctica.png") pictureList.kif 1313-1313
(instance AntarcticArea GeographicArea) Geography.kif 3623-3623 南极地区地理区域instance
(instance AntarcticArea LandArea) Geography.kif 3624-3624 南极地区土地面积instance

appearance as argument number 2
-------------------------


(geographicSubregion Antarctica AntarcticArea) Geography.kif 3622-3622 南极洲南极地区geographic 次要地区
(termFormat ChineseLanguage AntarcticArea "南极地区") domainEnglishFormat.kif 7758-7758
(termFormat ChineseTraditionalLanguage AntarcticArea "南極地區") domainEnglishFormat.kif 7757-7757
(termFormat EnglishLanguage AntarcticArea "antarctic area") domainEnglishFormat.kif 7756-7756

antecedent
-------------------------


(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3631-3640


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners