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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcticOcean

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 ArcticOceanOceaninstance では %n
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3584-3584 overlapsSpatially ArcticOcean and ArcticRegion
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4640-4640 ArcticOceanpartlyEasternHemisphere に 位置して %n
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4641-4641 ArcticOceanpartlyWesternHemisphere に 位置して %n

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 AlaskaArcticOceanmeets %n{ない}
(names "Arctic Ocean" ArcticOcean) Geography.kif 4635-4635 ArcticOcean は "Arctic Ocean" の name を 持って %n{ない}
(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