NorthAtlanticOcean DNAVirus
|
|
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 は BodyOfWater の instance では %n |
(instance NorthAtlanticOcean SaltWaterArea) | Geography.kif 4539-4539 | NorthAtlanticOcean は 塩水地域 の instance では %n |
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 611-630 |
|
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 737-747 |