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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hearing

Sigma KEE - ArcticRegion
ArcticRegion
บริเวณขั้วโลกเหนือ,

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 3410-3414
(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 3427-3427
(instance ArcticRegion GeographicArea) Geography.kif 3407-3407
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3428-3428
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3429-3429

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


(names "Arctic" ArcticRegion) Geography.kif 3408-3408
(names "the Arctic" ArcticRegion) Geography.kif 3409-3409
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3430-3430
(termFormat EnglishLanguage ArcticRegion "arctic region") domainEnglishFormat.kif 1813-1813

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


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

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


(not
    (vegetationType ArcticRegion BotanicalTree))
Geography.kif 3431-3431


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners