| IndianOcean
| |
| appearance as argument number 1 |
|
|
| (connected IndianOcean PersianGulf) | Geography.kif 4446-4446 | |
| (connected IndianOcean SouthPacificOcean) | Geography.kif 4445-4445 | |
| (connected IndianOcean SouthernOcean) | Geography.kif 4447-4447 | |
| (documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.") | Geography.kif 4443-4443 | |
| (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 4440-4440 |
| 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 4441-4441 | |
| (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))))) |
Weather.kif 627-646 |
| statement |
|
|
| (located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 |
|
|
|