| 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 |
| appearance as argument number 2 |
|
|
| (geographicSubregion NorthPacificOcean PacificOcean) | Geography.kif 4576-4576 | |
| (geographicSubregion SouthPacificOcean PacificOcean) | Geography.kif 4616-4616 | |
| (meetsSpatially Alaska PacificOcean) | CountriesAndRegions.kif 881-881 | |
| (meetsSpatially California PacificOcean) | CountriesAndRegions.kif 903-903 | |
| (meetsSpatially Hawaii PacificOcean) | CountriesAndRegions.kif 936-936 | |
| (meetsSpatially Oregon PacificOcean) | CountriesAndRegions.kif 1082-1082 | |
| (meetsSpatially Washington PacificOcean) | CountriesAndRegions.kif 1141-1141 | |
| (names "Pacific Ocean" PacificOcean) | Geography.kif 4567-4567 | |
| (termFormat ChineseLanguage PacificOcean "太平洋") | domainEnglishFormat.kif 43923-43923 | |
| (termFormat ChineseTraditionalLanguage PacificOcean "太平洋") | domainEnglishFormat.kif 43922-43922 | |
| (termFormat EnglishLanguage PacificOcean "pacific ocean") | domainEnglishFormat.kif 43921-43921 |
| 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 |
|
|
|