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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcticRegion

Sigma KEE - ArcticRegion
ArcticRegion(arctic region)
Arctic, Arctic_Zone, North_Frigid_Zone

appearance as argument number 1
-------------------------


(documentation ArcticRegion EnglishLanguage "The area above the Artic Circle, which is 66 degrees 33 minutes and 38 seconds north 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 North Pole.") Geography.kif 3486-3490
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Arctic.svg") pictureList.kif 2437-2437
(externalImage ArcticRegion "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2540-2540
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3503-3503 Arctic region is a geographic subregion of northern hemisphere
(instance ArcticRegion GeographicArea) Geography.kif 3483-3483 Arctic region is an instance of geographic area
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3504-3504 Arctic region and eastern hemisphere is overlapsSpatially
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3505-3505 Arctic region and western hemisphere is overlapsSpatially

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


(names "Arctic" ArcticRegion) Geography.kif 3484-3484 Arctic region has name "Arctic"
(names "the Arctic" ArcticRegion) Geography.kif 3485-3485 Arctic region has name "the Arctic"
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3506-3506 Arctic ocean and arctic region is overlapsSpatially
(termFormat ChineseLanguage ArcticRegion "北极地区") domainEnglishFormat.kif 8283-8283
(termFormat ChineseTraditionalLanguage ArcticRegion "北極地區") domainEnglishFormat.kif 8282-8282
(termFormat EnglishLanguage ArcticRegion "arctic region") domainEnglishFormat.kif 8281-8281

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3492-3501

statement
-------------------------


(not
    (vegetationType ArcticRegion BotanicalTree))
Geography.kif 3507-3507 Not botanical tree is found in arctic region


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