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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArcticOcean
ArcticOcean

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
(instance ArcticOcean Ocean) Geography.kif 4364-4364
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3443-3443
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4370-4370
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4371-4371

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1660-1660
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1651-1651
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882
(names "Arctic Ocean" ArcticOcean) Geography.kif 4365-4365
(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners