| PacificOcean
| |
| appearance as argument number 1 |
|
|
| (documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.") | Geography.kif 4808-4809 | |
| (externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png") | pictureList.kif 644-644 | |
| (instance PacificOcean Ocean) | Geography.kif 4806-4806 | |
| (orientation PacificOcean BritishColumbia West) | Geography.kif 446-446 | |
| (orientation PacificOcean PacificNorthwest West) | Geography.kif 407-407 | |
| (orientation PacificOcean WesternNorthAmerica West) | Geography.kif 420-420 |
| appearance as argument number 2 |
|
|
| (geographicSubregion NorthPacificOcean PacificOcean) | Geography.kif 4816-4816 | |
| (geographicSubregion SouthPacificOcean PacificOcean) | Geography.kif 4856-4856 | |
| (meetsSpatially Alaska PacificOcean) | CountriesAndRegions.kif 881-881 | |
| (meetsSpatially BritishColumbia PacificOcean) | Geography.kif 445-445 | |
| (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 | |
| (meetsSpatially WesternNorthAmerica PacificOcean) | Geography.kif 429-429 | |
| (names "Pacific Ocean" PacificOcean) | Geography.kif 4807-4807 | |
| (termFormat ChineseLanguage PacificOcean "太平洋") | domainEnglishFormat.kif 43892-43892 | |
| (termFormat ChineseTraditionalLanguage PacificOcean "太平洋") | domainEnglishFormat.kif 43891-43891 | |
| (termFormat EnglishLanguage PacificOcean "pacific ocean") | domainEnglishFormat.kif 43890-43890 |
| 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 | |
| (=> (and (instance ?W CoastalChinookWind) (eventLocated ?W PacificNorthwest) (origin ?W PacificOcean)) (orientation PacificOcean PacificNorthwest Upwind)) |
Weather.kif 1693-1698 |
| consequent |
|
|
| (=> (and (instance ?W CoastalChinookWind) (eventLocated ?W PacificNorthwest) (origin ?W PacificOcean)) (orientation PacificOcean PacificNorthwest Upwind)) |
Weather.kif 1693-1698 |
| statement |
|
|
| (orientation (SeacoastFn SouthAmerica PacificOcean) AndesMountains West) |
Geography.kif 396-397 |
|
|
|