IndianOcean |
appearance as argument number 1 |
(connected IndianOcean PersianGulf) | Geography.kif 4631-4631 | IndianOcean est connect� � PersianGulf |
(connected IndianOcean SouthPacificOcean) | Geography.kif 4630-4630 | IndianOcean est connect� � SouthPacificOcean |
(connected IndianOcean SouthernOcean) | Geography.kif 4632-4632 | IndianOcean est connect� � 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 est une instance de Ocean |
appearance as argument number 2 |
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 | FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean |