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 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 geographicSubregion ArcticOcean and NorthernHemisphere
(instance ArcticOcean Ocean) Geography.kif 4634-4634 ArcticOcean est une instance de Ocean
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3584-3584 ArcticOcean recouvre ArcticRegion
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4640-4640 ArcticOcean est partiellement localis� � EasternHemisphere
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4641-4641 ArcticOcean est partiellement localis� � WesternHemisphere

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1675-1675 geographicSubregion NorthernSeaRoute and ArcticOcean
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1666-1666 geographicSubregion NorthwestPassage and ArcticOcean
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 Alaska rencontre ArcticOcean
(names "Arctic Ocean" ArcticOcean) Geography.kif 4635-4635 ArcticOcean s'appele nom "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 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