PacificOcean
|
|
appearance as argument number 1 |
(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.") | Geography.kif 4568-4569 | |
(externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png") | pictureList.kif 644-644 | |
(instance PacificOcean Ocean) | Geography.kif 4566-4566 | PacificOcean est une instance de Ocean |
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 |
|