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 4631-4631 IndianOcean è connesso a PersianGulf
(connected IndianOcean SouthPacificOcean) Geography.kif 4630-4630 IndianOcean è connesso a SouthPacificOcean
(connected IndianOcean SouthernOcean) Geography.kif 4632-4632 IndianOcean è connesso a SouthernOcean
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.") Geography.kif 4628-4628
(externalImage IndianOcean "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Indian_Ocean.png") pictureList.kif 514-514
(instance IndianOcean Ocean) Geography.kif 4625-4625 IndianOcean è un' istanza di Ocean

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


(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586 FrenchSouthernAndAntarcticLands è localizzato in IndianOcean
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 BassasDaIndia incontras IndianOcean
(meetsSpatially EuropaIsland IndianOcean) CountriesAndRegions.kif 140-140 EuropaIsland incontras IndianOcean
(meetsSpatially GloriosoIslands IndianOcean) CountriesAndRegions.kif 142-142 GloriosoIslands incontras IndianOcean
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean) CountriesAndRegions.kif 144-144 HeardIslandAndMcDonaldIslands incontras IndianOcean
(meetsSpatially JuanDeNovaIsland IndianOcean) CountriesAndRegions.kif 146-146 JuanDeNovaIsland incontras IndianOcean
(meetsSpatially Mayotte IndianOcean) CountriesAndRegions.kif 148-148 Mayotte incontras IndianOcean
(meetsSpatially TromelinIsland IndianOcean) CountriesAndRegions.kif 150-150 TromelinIsland incontras IndianOcean
(names "Indian Ocean" IndianOcean) Geography.kif 4626-4626 names "Indian Ocean" and IndianOcean
(termFormat ChineseLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29617-29617
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋") domainEnglishFormat.kif 29616-29616
(termFormat EnglishLanguage IndianOcean "indian ocean") domainEnglishFormat.kif 29615-29615

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 611-630

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


(located FrenchSouthernAndAntarcticLands
    (DirectionalSubregionFn South IndianOcean))
CountriesAndRegions.kif 588-588 FrenchSouthernAndAntarcticLands è localizzato in 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 3.0 is open source software produced by Articulate Software and its partners