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 4877-4877
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") pictureList.kif 2434-2434
(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4879-4879 geographicSubregion ArcticOcean and NorthernHemisphere
(instance ArcticOcean Ocean) Geography.kif 4874-4874 ArcticOceanOceaninstance では
(overlapsSpatially ArcticOcean ArcticRegion) Geography.kif 3742-3742 overlapsSpatially ArcticOcean and ArcticRegion
(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4880-4880 ArcticOceanpartlyEasternHemisphere に 位置して
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4881-4881 ArcticOceanpartlyWesternHemisphere に 位置して

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


(geographicSubregion NorthernSeaRoute ArcticOcean) Transportation.kif 1815-1815 geographicSubregion NorthernSeaRoute and ArcticOcean
(geographicSubregion NorthwestPassage ArcticOcean) Transportation.kif 1806-1806 geographicSubregion NorthwestPassage and ArcticOcean
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 AlaskaArcticOceanmeets
(names "Arctic Ocean" ArcticOcean) Geography.kif 4875-4875 ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って
(termFormat ChineseLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8269-8269 ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って
(termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") domainEnglishFormat.kif 8268-8268 ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って
(termFormat EnglishLanguage ArcticOcean "arctic ocean") domainEnglishFormat.kif 8267-8267 ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って

antecedent
-------------------------


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

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


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


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