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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndianOcean

Sigma KEE - IndianOcean
IndianOcean

appearance as argument number 1
-------------------------


(connected IndianOcean PersianGulf) Geography.kif 4348-4348
(connected IndianOcean SouthPacificOcean) Geography.kif 4347-4347
(connected IndianOcean SouthernOcean) Geography.kif 4349-4349
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.") Geography.kif 4345-4345
(externalImage IndianOcean "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ I/ Indian_Ocean.png") pictureList.kif 514-514
(instance IndianOcean Ocean) Geography.kif 4342-4342

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


(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136
(meetsSpatially EuropaIsland IndianOcean) CountriesAndRegions.kif 140-140
(meetsSpatially GloriosoIslands IndianOcean) CountriesAndRegions.kif 142-142
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean) CountriesAndRegions.kif 144-144
(meetsSpatially JuanDeNovaIsland IndianOcean) CountriesAndRegions.kif 146-146
(meetsSpatially Mayotte IndianOcean) CountriesAndRegions.kif 148-148
(meetsSpatially TromelinIsland IndianOcean) CountriesAndRegions.kif 150-150
(names "Indian Ocean" IndianOcean) Geography.kif 4343-4343
(termFormat EnglishLanguage IndianOcean "indian ocean") domainEnglishFormat.kif 5353-5353

statement
-------------------------


(located FrenchSouthernAndAntarcticLands
    (DirectionalSubregionFn South IndianOcean))
CountriesAndRegions.kif 588-588


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners