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

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1660-1660 geographicSubregion NorthernSeaRoute and ArcticOcean
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1651-1651 geographicSubregion NorthwestPassage and ArcticOcean
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 meetsSpatially Alaska and ArcticOcean
(names "Arctic Ocean" ArcticOcean) Geography.kif 4365-4365 names "Arctic Ocean" and ArcticOcean
(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