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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndianOcean

Sigma KEE - IndianOcean
IndianOcean(indian ocean)
Indian_Ocean

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


(connected IndianOcean PersianGulf) Geography.kif 4530-4530 Indian ocean is connected to persian gulf
(connected IndianOcean SouthPacificOcean) Geography.kif 4529-4529 Indian ocean is connected to south pacific ocean
(connected IndianOcean SouthernOcean) Geography.kif 4531-4531 Indian ocean is connected to southern ocean
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.") Geography.kif 4527-4527
(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 4524-4524 Indian ocean is an instance of ocean

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


(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586 French southern and antarctic lands is located at indian ocean
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean
(meetsSpatially EuropaIsland IndianOcean) CountriesAndRegions.kif 140-140 Europa island meets indian ocean
(meetsSpatially GloriosoIslands IndianOcean) CountriesAndRegions.kif 142-142 Glorioso islands meets indian ocean
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean) CountriesAndRegions.kif 144-144 Heard island and mc donald islands meets indian ocean
(meetsSpatially JuanDeNovaIsland IndianOcean) CountriesAndRegions.kif 146-146 Juan de nova island meets indian ocean
(meetsSpatially Mayotte IndianOcean) CountriesAndRegions.kif 148-148 Mayotte meets indian ocean
(meetsSpatially TromelinIsland IndianOcean) CountriesAndRegions.kif 150-150 Tromelin island meets indian ocean
(names "Indian Ocean" IndianOcean) Geography.kif 4525-4525 Indian ocean has name "Indian Ocean"
(termFormat ChineseLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29604-29604
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29603-29603
(termFormat EnglishLanguage IndianOcean "indian ocean") domainEnglishFormat.kif 29602-29602

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


(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))
Weather.kif 627-646

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


(located FrenchSouthernAndAntarcticLands
    (DirectionalSubregionFn South IndianOcean))
CountriesAndRegions.kif 588-588 French southern and antarctic lands is located at the directional subregion of south and indian ocean


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