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 | 例 北大西洋 and 水體 |
(instance NorthAtlanticOcean SaltWaterArea) | Geography.kif 4539-4539 | 例 北大西洋 and SaltWaterArea |
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 623-642 |
|
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 749-759 |