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 4354-4354
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2436-2436
(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4356-4356
(instance ArcticOcean Ocean) Geography.kif 4351-4351
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3430-3430
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4357-4357
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4358-4358

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1645-1645
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1636-1636
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882
(names "Arctic Ocean" ArcticOcean) Geography.kif 4352-4352
(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 4360-4364

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


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


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