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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IndianOcean
IndianOcean

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


(connected IndianOcean PersianGulf) Geography.kif 4361-4361
(connected IndianOcean SouthPacificOcean) Geography.kif 4360-4360
(connected IndianOcean SouthernOcean) Geography.kif 4362-4362
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.") Geography.kif 4358-4358
(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 4355-4355

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 4356-4356
(termFormat ChineseLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29521-29521
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29520-29520
(termFormat EnglishLanguage IndianOcean "indian ocean") domainEnglishFormat.kif 29519-29519

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


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


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