West - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 17201-17201
(externalImage West "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png")	pictureList.kif 2058-2058
(instance West DirectionalAttribute)	Merge.kif 17200-17200	West is an instance of directional attribute

appearance as argument number 2

(oppositeDirection East West)	Mid-level-ontology.kif 19705-19705	West is an opposite direction of east
(orientation (SeacoastFn SouthAmerica PacificOcean) AndesMountains West)	Geography.kif 396-397	The seacoast of south america is west to Andes Mountains
(termFormat ChineseLanguage West "西方")	domainEnglishFormat.kif 62703-62703	The seacoast of south america is west to Andes Mountains
(termFormat ChineseTraditionalLanguage West "西方")	domainEnglishFormat.kif 62702-62702	The seacoast of south america is west to Andes Mountains
(termFormat EnglishLanguage West "west")	domainEnglishFormat.kif 62701-62701	The seacoast of south america is west to Andes Mountains

appearance as argument number 3

(orientation Arizona RockyMountains West)	Geography.kif 368-368	Arizona is west to Rocky Mountains
(orientation AtlanticOcean SaharaDesert West)	Geography.kif 7091-7091	Atlantic ocean is west to Sahara Desert
(orientation AtlanticOcean Sahel West)	Geography.kif 7110-7110	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 367-367	California is west to Rocky Mountains
(orientation Europe Asia West)	Geography.kif 276-276	Europe is west to asia
(orientation Ireland Wales West)	Geography.kif 7441-7441	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 366-366	Nevada is west to Rocky Mountains
(orientation Oregon RockyMountains West)	Geography.kif 365-365	Oregon is west to Rocky Mountains
(orientation PacificOcean BritishColumbia West)	Geography.kif 446-446	Pacific ocean is west to British Columbia
(orientation PacificOcean PacificNorthwest West)	Geography.kif 407-407	Pacific ocean is west to Pacific Northwest
(orientation PacificOcean WesternNorthAmerica West)	Geography.kif 420-420	Pacific ocean is west to Western NorthAmerica
(orientation RockyMountains PacificNorthwest West)	Geography.kif 408-408	Rocky Mountains is west to Pacific Northwest
(orientation RockyMountains WesternNorthAmerica West)	Geography.kif 421-421	Rocky Mountains is west to Western NorthAmerica
(orientation Wales England West)	Geography.kif 7436-7436	Wales is west to England

appearance as argument number 4

(contraryAttribute North South East West)

Merge.kif 17187-17187

North is the opposite of south

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West))	Geography.kif 4039-4041	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 17203-17205	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 3984-3988	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 3972-3976	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 649-654	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 1670-1676	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 1685-1691	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 769-773	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 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