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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArcticOcean
ArcticOcean(arctic ocean)
Arctic_Ocean

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


(documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") Geography.kif 4367-4367
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2436-2436
(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4369-4369 Arctic ocean is a geographic subregion of northern hemisphere
(instance ArcticOcean Ocean) Geography.kif 4364-4364 Arctic ocean is an instance of ocean
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3443-3443 overlaps spatially arctic ocean and arctic region
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4370-4370 Arctic ocean is partly located in eastern hemisphere
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4371-4371 Arctic ocean is partly located in western hemisphere

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1660-1660 Northern sea route is a geographic subregion of arctic ocean
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1651-1651 Northwest passage is a geographic subregion of arctic ocean
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 Alaska meets arctic ocean
(names "Arctic Ocean" ArcticOcean) Geography.kif 4365-4365 Arctic ocean has name "Arctic Ocean"
(termFormat ChineseLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8275-8275
(termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8274-8274
(termFormat EnglishLanguage ArcticOcean "arctic ocean") domainEnglishFormat.kif 8273-8273

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


(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4373-4377

consequent
-------------------------


(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4373-4377


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



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