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 4530-4530 印度洋波斯湾connected
(connected IndianOcean SouthPacificOcean) Geography.kif 4529-4529 印度洋南太平洋connected
(connected IndianOcean SouthernOcean) Geography.kif 4531-4531 印度洋南部海洋connected
(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 印度洋海洋instance

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


(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586 法国南部和南极的土地located印度洋
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 Bassas da 印度 接上 印度洋
(meetsSpatially EuropaIsland IndianOcean) CountriesAndRegions.kif 140-140 欧罗巴岛 接上 印度洋
(meetsSpatially GloriosoIslands IndianOcean) CountriesAndRegions.kif 142-142 Glorioso岛屿 接上 印度洋
(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 4525-4525 印度洋 的名 是 "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 法国南部和南极的土地located印度洋directional 次要地区


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