PacificOcean - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PacificOcean

PacificOcean(pacific ocean)

Pacific, Pacific_Ocean

appearance as argument number 1

(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.")	Geography.kif 6120-6121
(externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png")	pictureList.kif 644-644
(instance PacificOcean Ocean)	Geography.kif 6118-6118	Pacific ocean is an instance of ocean
(orientation PacificOcean BritishColumbia West)	Geography.kif 1525-1525	Pacific ocean is west to British Columbia
(orientation PacificOcean PacificNorthwest West)	Geography.kif 1486-1486	Pacific ocean is west to Pacific Northwest
(orientation PacificOcean WesternNorthAmerica West)	Geography.kif 1499-1499	Pacific ocean is west to Western NorthAmerica

appearance as argument number 2

(geographicSubregion NorthPacificOcean PacificOcean)	Geography.kif 6128-6128	North pacific ocean is a geographic subregion of pacific ocean
(geographicSubregion SouthPacificOcean PacificOcean)	Geography.kif 6168-6168	South pacific ocean is a geographic subregion of pacific ocean
(meetsSpatially Alaska PacificOcean)	CountriesAndRegions.kif 881-881	Alaska meets pacific ocean
(meetsSpatially BritishColumbia PacificOcean)	Geography.kif 1524-1524	British Columbia meets pacific ocean
(meetsSpatially California PacificOcean)	CountriesAndRegions.kif 903-903	California meets pacific ocean
(meetsSpatially Hawaii PacificOcean)	CountriesAndRegions.kif 936-936	Hawaii meets pacific ocean
(meetsSpatially Oregon PacificOcean)	CountriesAndRegions.kif 1082-1082	Oregon meets pacific ocean
(meetsSpatially Washington PacificOcean)	CountriesAndRegions.kif 1141-1141	Washington meets pacific ocean
(meetsSpatially WesternNorthAmerica PacificOcean)	Geography.kif 1508-1508	Western NorthAmerica meets pacific ocean
(names "Pacific Ocean" PacificOcean)	Geography.kif 6119-6119	Pacific ocean has &ames$"name" "Pacific Ocean"
(termFormat ChineseLanguage PacificOcean "太平洋")	domainEnglishFormat.kif 43891-43891	Pacific ocean has &ames$"name" "Pacific Ocean"
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋")	domainEnglishFormat.kif 43890-43890	Pacific ocean has &ames$"name" "Pacific Ocean"
(termFormat EnglishLanguage PacificOcean "pacific ocean")	domainEnglishFormat.kif 43889-43889	Pacific ocean has &ames$"name" "Pacific Ocean"

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 1068-1087	If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and equal the directional attribute and north or equal the directional attribute and south and the real number is less than 5.0
(=> (and (instance ?W CoastalChinookWind) (eventLocated ?W PacificNorthwest) (origin ?W PacificOcean)) (orientation PacificOcean PacificNorthwest Upwind))	Weather.kif 2153-2158	If a process is an instance of coastal chinook wind and the process is located at Pacific Northwest and the process originates at pacific ocean, then pacific ocean is upwind to Pacific Northwest

consequent

(=> (and (instance ?E ElNinoSouthernOscillation) (origin ?E ?R)) (and (located ?R Tropics) (geographicSubregion ?R PacificOcean)))	Weather.kif 521-527	If a process is an instance of el nino southern oscillation and the process originates at a geographic area, then the geographic area is located at tropics and the geographic area is a geographic subregion of pacific ocean
(=> (and (instance ?W CoastalChinookWind) (eventLocated ?W PacificNorthwest) (origin ?W PacificOcean)) (orientation PacificOcean PacificNorthwest Upwind))	Weather.kif 2153-2158	If a process is an instance of coastal chinook wind and the process is located at Pacific Northwest and the process originates at pacific ocean, then pacific ocean is upwind to Pacific Northwest

statement

(orientation (SeacoastFn California PacificOcean) CaliforniaCoastRanges West)	Geography.kif 440-441	The seacoast of california is west to California Coast Ranges
(orientation (SeacoastFn California PacificOcean) CentralValleyCalifornia West)	Geography.kif 1400-1402	The seacoast of california is west to Central Valley California
(orientation (SeacoastFn SouthAmerica PacificOcean) AndesMountains West)	Geography.kif 1433-1434	The seacoast of south america is west to Andes Mountains

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners