NorthAtlanticOcean(北大西洋) |
appearance as argument number 1 |
(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.") | Geography.kif 4548-4550 | |
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png") | pictureList.kif 2495-2495 | |
(geographicSubregion NorthAtlanticOcean AtlanticOcean) | Geography.kif 4544-4544 | 北大西洋 是 大西洋 的 geographic 次要地区 |
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) | Geography.kif 4545-4545 | 北大西洋 是 北半球 的 geographic 次要地区 |
(geographicSubregion NorthAtlanticOcean WesternHemisphere) | Geography.kif 4546-4546 | 北大西洋 是 西半球 的 geographic 次要地区 |
(instance NorthAtlanticOcean BodyOfWater) | Geography.kif 4540-4540 | 北大西洋 是 水体 的 instance |
(instance NorthAtlanticOcean SaltWaterArea) | Geography.kif 4539-4539 | 北大西洋 是 盐水区 的 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 |
|
consequent |
(=> (and (instance ?H Hurricane) (eventLocated ?H ?P) (instance ?P GeographicArea) (or (located ?P ?SEA) (meetsSpatially ?P ?SEA))) (or (equal ?SEA NortheasternPacificOcean) (equal ?SEA NorthAtlanticOcean))) |
Weather.kif 753-763 |