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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcticOcean

Sigma KEE - ArcticOcean
ArcticOcean(arctic ocean)
Arctic_Ocean

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


(documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") Geography.kif 4637-4637
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2435-2435
(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4639-4639 Arctic ocean is a geographic subregion of northern hemisphere
(instance ArcticOcean Ocean) Geography.kif 4634-4634 Arctic ocean is an instance of ocean
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3584-3584 Arctic ocean and arctic region overlapsSpatially
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4640-4640 Arctic ocean is partly located in eastern hemisphere
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4641-4641 Arctic ocean is partly located in western hemisphere

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1675-1675 Northern sea route is a geographic subregion of arctic ocean
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1666-1666 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 4635-4635 Arctic ocean has name "Arctic Ocean"
(termFormat ChineseLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8268-8268
(termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8267-8267
(termFormat EnglishLanguage ArcticOcean "arctic ocean") domainEnglishFormat.kif 8266-8266

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


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

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


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


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