IndianOcean
|
|
appearance as argument number 1 |
(connected IndianOcean PersianGulf) | Geography.kif 4631-4631 | 印度洋 和 波斯湾 是 connected |
(connected IndianOcean SouthPacificOcean) | Geography.kif 4630-4630 | 印度洋 和 南太平洋 是 connected |
(connected IndianOcean SouthernOcean) | Geography.kif 4632-4632 | 印度洋 和 南部海洋 是 connected |
(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 | 印度洋 是 海洋 的 instance |
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 | 法国南部和南极的土地 是 located 在 南 和 印度洋 的 directional 次要地区 |