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 | 例 太平洋 and 海洋 |
appearance as argument number 2 |
(geographicSubregion NorthPacificOcean PacificOcean) | Geography.kif 4576-4576 | 北太平洋 是 太平洋 的 geographic 次要地區 |
(geographicSubregion SouthPacificOcean PacificOcean) | Geography.kif 4616-4616 | 南太平洋 是 太平洋 的 geographic 次要地區 |
(meetsSpatially Alaska PacificOcean) | CountriesAndRegions.kif 881-881 | 空間的符合 阿拉斯加州 and 太平洋 |
(meetsSpatially California PacificOcean) | CountriesAndRegions.kif 903-903 | 空間的符合 加州 and 太平洋 |
(meetsSpatially Hawaii PacificOcean) | CountriesAndRegions.kif 936-936 | 空間的符合 夏威夷 and 太平洋 |
(meetsSpatially Oregon PacificOcean) | CountriesAndRegions.kif 1082-1082 | 空間的符合 Oregon and 太平洋 |
(meetsSpatially Washington PacificOcean) | CountriesAndRegions.kif 1141-1141 | 空間的符合 華盛頓 and 太平洋 |
(names "Pacific Ocean" PacificOcean) | Geography.kif 4567-4567 | 名 "Pacific Ocean" and 太平洋 |
(termFormat ChineseLanguage PacificOcean "太平洋") | domainEnglishFormat.kif 43890-43890 | |
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋") | domainEnglishFormat.kif 43889-43889 | |
(termFormat EnglishLanguage PacificOcean "pacific ocean") | domainEnglishFormat.kif 43888-43888 |
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 627-646 |
|