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 | geographicSubregion NorthAtlanticOcean and AtlanticOcean |
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) | Geography.kif 4545-4545 | geographicSubregion NorthAtlanticOcean and NorthernHemisphere |
(geographicSubregion NorthAtlanticOcean WesternHemisphere) | Geography.kif 4546-4546 | geographicSubregion NorthAtlanticOcean and WesternHemisphere |
(instance NorthAtlanticOcean BodyOfWater) | Geography.kif 4540-4540 | NorthAtlanticOcean est une instance de BodyOfWater |
(instance NorthAtlanticOcean SaltWaterArea) | Geography.kif 4539-4539 | NorthAtlanticOcean est une instance de plan d'eau sal� |
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 |
|