TreeView Knowledge Base Browser - West

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

West

Sigma KEE - West

West(west)

W, due_west, west, west_side, westbound, westerly, western, westernmost, westmost, westside, westward, westwards

appearance as argument number 1

(documentation West ChineseLanguage "这是罗盘方向 West.")	chinese_format.kif 3807-3807
(documentation West EnglishLanguage "The compass direction of West.")	Merge.kif 17223-17223
(externalImage West "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png")	pictureList.kif 2058-2058
(instance West DirectionalAttribute)	Merge.kif 17222-17222	West is an instance of directional attribute

appearance as argument number 2

(oppositeDirection East West)	Mid-level-ontology.kif 19691-19691	West is an opposite direction of east
(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
(termFormat ChineseLanguage West "西方")	domainEnglishFormat.kif 62702-62702	The seacoast of south america is west to Andes Mountains
(termFormat ChineseTraditionalLanguage West "西方")	domainEnglishFormat.kif 62701-62701	The seacoast of south america is west to Andes Mountains
(termFormat EnglishLanguage West "west")	domainEnglishFormat.kif 62700-62700	The seacoast of south america is west to Andes Mountains

appearance as argument number 3

(orientation Arizona RockyMountains West)	Geography.kif 369-369	Arizona is west to Rocky Mountains
(orientation AtlanticOcean SaharaDesert West)	Geography.kif 8265-8265	Atlantic ocean is west to Sahara Desert
(orientation AtlanticOcean Sahel West)	Geography.kif 8284-8284	Atlantic ocean is west to Sahel
(orientation AtlanticOcean SouthernFrance West)	Geography.kif 342-342	Atlantic ocean is west to Southern France
(orientation California RockyMountains West)	Geography.kif 368-368	California is west to Rocky Mountains
(orientation CentralValleyCalifornia SierraNevada West)	Geography.kif 1406-1406	Central Valley California is west to Sierra Nevada
(orientation Europe Asia West)	Geography.kif 276-276	Europe is west to asia
(orientation Ireland Wales West)	Geography.kif 8615-8615	Ireland is west to Wales
(orientation LevantRegion MediterraneanRegion West)	Geography.kif 309-309	Levant Region is west to Mediterranean Region
(orientation Nevada RockyMountains West)	Geography.kif 367-367	Nevada is west to Rocky Mountains
(orientation Oregon KlamathMountains West)	Geography.kif 427-427	Oregon is west to Klamath Mountains
(orientation Oregon RockyMountains West)	Geography.kif 366-366	Oregon is west to Rocky Mountains
(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
(orientation RockyMountains PacificNorthwest West)	Geography.kif 1487-1487	Rocky Mountains is west to Pacific Northwest
(orientation RockyMountains WesternNorthAmerica West)	Geography.kif 1500-1500	Rocky Mountains is west to Western NorthAmerica
(orientation Wales England West)	Geography.kif 8610-8610	Wales is west to England

appearance as argument number 4

(contraryAttribute North South East West)

Merge.kif 17209-17209

North is the opposite of south

antecedent

(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A AndesMountains) (located ?B AndesMountains) (orientation ?A ?B East) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 AndesMountains) (orientation ?A1 ?A East) (instance ?B1 PointInSpace) (located ?B1 AndesMountains) (orientation ?B1 ?B West)))) (distance ?A ?B (MeasureFn ?X Mile))) (and (greaterThan ?X 120) (greaterThan 430 ?X)))	Geography.kif 1456-1476	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Andes Mountains and the other object is located at Andes Mountains and the object is east to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Andes Mountains and the object1 is east to the object and the other object1 is an instance of point in space and the other object1 is located at Andes Mountains and the other object1 is west to the other object and the distance between the object and the other object is a real number mile(s), then the real number is greater than 120 and 430 is greater than the real number
(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A RockyMountains) (located ?B RockyMountains) (orientation ?A ?B East) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 RockyMountains) (orientation ?A1 ?A East) (instance ?B1 PointInSpace) (located ?B1 RockyMountains) (orientation ?B1 ?B West)))) (distance ?A ?B (MeasureFn ?X Mile))) (and (greaterThan ?X 70) (greaterThan 300 ?X)))	Geography.kif 397-417	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Rocky Mountains and the other object is located at Rocky Mountains and the object is east to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Rocky Mountains and the object1 is east to the object and the other object1 is an instance of point in space and the other object1 is located at Rocky Mountains and the other object1 is west to the other object and the distance between the object and the other object is a real number mile(s), then the real number is greater than 70 and 300 is greater than the real number
(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A SierraNevada) (located ?B SierraNevada) (orientation ?A ?B East) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 SierraNevada) (orientation ?A1 ?A East) (instance ?B1 PointInSpace) (located ?B1 SierraNevada) (orientation ?B1 ?B West)))) (distance ?A ?B (MeasureFn ?X Mile))) (and (greaterThan ?X 50) (greaterThan 80 ?X)))	Geography.kif 1358-1378	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Sierra Nevada and the other object is located at Sierra Nevada and the object is east to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Sierra Nevada and the object1 is east to the object and the other object1 is an instance of point in space and the other object1 is located at Sierra Nevada and the other object1 is west to the other object and the distance between the object and the other object is a real number mile(s), then the real number is greater than 50 and 80 is greater than the real number
(=> (and (instance ?R Region) (located ?R Nino1Pluse2) (objectGeographicCoordinates ?R (LatitudeFn South (MeasureFn ?X AngularDegree)) (LongitudeFn West (MeasureFn ?Y AngularDegree)))) (and (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 10) (greaterThanOrEqualTo ?Y 80) (lessThanOrEqualTo ?Y 90)))	Weather.kif 874-887	If an object is an instance of region and the object is located at Nino 1+2 and the object is object geographic coordinates the region south of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then the real number is greater than or equal to 0 and the real number is less than or equal to 10 and the other real number is greater than or equal to 80 and the other real number is less than or equal to 90
(=> (and (instance ?R Region) (located ?R Nino3) (objectGeographicCoordinates ?R (LatitudeFn ?DIR (MeasureFn ?X AngularDegree)) (LongitudeFn West (MeasureFn ?Y AngularDegree)))) (and (or (equal ?DIR North) (equal ?DIR South)) (lessThanOrEqualTo ?X 5) (greaterThanOrEqualTo ?Y 90) (lessThanOrEqualTo ?Y 150)))	Weather.kif 897-912	If an object is an instance of region and the object is located at Nino 3 and the object is object geographic coordinates the region a directional attribute of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then equal the directional attribute and north or equal the directional attribute and south and the real number is less than or equal to 5 and the other real number is greater than or equal to 90 and the other real number is less than or equal to 150
(=> (and (instance ?R Region) (located ?R Nino3Point4) (objectGeographicCoordinates ?R (LatitudeFn ?DIR (MeasureFn ?X AngularDegree)) (LongitudeFn West (MeasureFn ?Y AngularDegree)))) (and (or (equal ?DIR North) (equal ?DIR South)) (lessThanOrEqualTo ?X 5) (greaterThanOrEqualTo ?Y 120) (lessThanOrEqualTo ?Y 170)))	Weather.kif 924-939	If an object is an instance of region and the object is located at Nino 3.4 and the object is object geographic coordinates the region a directional attribute of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then equal the directional attribute and north or equal the directional attribute and south and the real number is less than or equal to 5 and the other real number is greater than or equal to 120 and the other real number is less than or equal to 170

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West))	Geography.kif 5213-5215	An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West))	Merge.kif 17225-17227	An object is east to another object if and only if the other object is west to the object
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 5158-5162	An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 5146-5150	An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
(=> (and (instance ?REGION GeographicArea) (geographicSubregion (GeographicWestFn ?REGION) ?REGION) (geographicSubregion (GeographicEastFn ?REGION) ?REGION)) (orientation (GeographicWestFn ?REGION) (GeographicEastFn ?REGION) West))	Geography.kif 1821-1826	If a geographic area is an instance of geographic area and geographic west the geographic area is a geographic subregion of the geographic area and geographic east the geographic area is a geographic subregion of the geographic area, then geographic west the geographic area is west to geographic east the geographic area
(=> (and (instance ?W ChinookWind) (eventLocated ?W ?A)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A West)))	Weather.kif 2130-2136	If a process is an instance of chinook wind and the process is located at an object, then west is a surface wind direction of the object holds during the time of existence of the process
(=> (and (instance ?W CoastalChinookWind) (eventLocated ?W ?A)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A West)))	Weather.kif 2145-2151	If a process is an instance of coastal chinook wind and the process is located at an object, then west is a surface wind direction of the object holds during the time of existence of the process
(=> (instance (LongitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION East) (equal ?DIRECTION West)))	Geography.kif 1941-1945	If the meridian at @ROW a directional attribute is an instance of region, then equal the directional attribute and east or equal the directional attribute and west

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

Show without tree

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