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 and PersianGulf
(connected IndianOcean SouthPacificOcean) Geography.kif 4360-4360 connected IndianOcean and SouthPacificOcean
(connected IndianOcean SouthernOcean) Geography.kif 4362-4362 connected IndianOcean and SouthernOcean
(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 externalImage IndianOcean and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ Country_Maps/ I/ Indian_Ocean.png"
(instance IndianOcean Ocean) Geography.kif 4355-4355 instance IndianOcean and Ocean

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


(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586 located FrenchSouthernAndAntarcticLands and IndianOcean
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 meetsSpatially BassasDaIndia and IndianOcean
(meetsSpatially EuropaIsland IndianOcean) CountriesAndRegions.kif 140-140 meetsSpatially EuropaIsland and IndianOcean
(meetsSpatially GloriosoIslands IndianOcean) CountriesAndRegions.kif 142-142 meetsSpatially GloriosoIslands and IndianOcean
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean) CountriesAndRegions.kif 144-144 meetsSpatially HeardIslandAndMcDonaldIslands and IndianOcean
(meetsSpatially JuanDeNovaIsland IndianOcean) CountriesAndRegions.kif 146-146 meetsSpatially JuanDeNovaIsland and IndianOcean
(meetsSpatially Mayotte IndianOcean) CountriesAndRegions.kif 148-148 meetsSpatially Mayotte and IndianOcean
(meetsSpatially TromelinIsland IndianOcean) CountriesAndRegions.kif 150-150 meetsSpatially TromelinIsland and IndianOcean
(names "Indian Ocean" IndianOcean) Geography.kif 4356-4356 names "Indian Ocean" and IndianOcean
(termFormat ChineseLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29521-29521 termFormat ChineseLanguage, IndianOcean and "印度洋"
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29520-29520 termFormat ChineseTraditionalLanguage, IndianOcean and "印度洋"
(termFormat EnglishLanguage IndianOcean "indian ocean") domainEnglishFormat.kif 29519-29519 termFormat EnglishLanguage, IndianOcean and "indian ocean"

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


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


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