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 15722-15722
(externalImage West "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png")	pictureList.kif 2060-2060	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png" is a URL depicting west
(instance West DirectionalAttribute)	Merge.kif 15721-15721	West is an instance of directional attribute

appearance as argument number 2

(oppositeDirection East West)	Mid-level-ontology.kif 15828-15828	West is an opposite direction of east
(termFormat ChineseLanguage West "西方")	domainEnglishFormat.kif 62653-62653	"西方" is the printable form of west in ChineseLanguage
(termFormat ChineseTraditionalLanguage West "西方")	domainEnglishFormat.kif 62652-62652	"西方" is the printable form of west in ChineseTraditionalLanguage
(termFormat EnglishLanguage West "west")	domainEnglishFormat.kif 62651-62651	"west" is the printable form of west in english language

appearance as argument number 3

(orientation Europe Asia West)	Geography.kif 276-276	Europe is west to asia
(orientation Ireland Wales West)	Geography.kif 6304-6304	Ireland is west to Wales
(orientation Wales England West)	Geography.kif 6299-6299	Wales is west to England

appearance as argument number 4

(contraryAttribute North South East West)

Merge.kif 15708-15708

North is the opposite of south

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West))	Geography.kif 3581-3583	An object courseWRT true north another object for 270 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 15724-15726	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 3526-3530	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 3514-3518	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 (courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?MAGDEGREE) (partlyLocated ?OBJ1 ?AREA) (partlyLocated ?OBJ2 ?AREA) (magneticVariation ?AREA ?DEGREE ?DIRECTION)) (exists (?DIFFDEGREE ?TRUEDEGREE) (and (=> (and (equal ?DIRECTION East) (equal ?DIFFDEGREE (AdditionFn ?MAGDEGREE ?DEGREE))) (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE)) (=> (and (equal ?DIRECTION West) (equal ?DIFFDEGREE (SubtractionFn ?MAGDEGREE ?DEGREE))) (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE)))))	Geography.kif 3632-3649	If a physical courseWRT magnetic north another physical for a plane angle measure and the physical is partly located in a geographic area and the other physical is partly located in the geographic area and the geographic area magnetic variation another plane angle measure for a directional attribute, then there exist a quantity and a third plane angle measure such that if the directional attribute is equal to east and the quantity is equal to (the plane angle measure and the other plane angle measure), then the physical courseWRT true north the other physical for the third plane angle measure and if the directional attribute is equal to west and the quantity is equal to (the plane angle measure and the other plane angle measure), then the physical courseWRT true north the other physical for the third plane angle measure
(=> (instance (LongitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION East) (equal ?DIRECTION West)))	Geography.kif 461-465	If the meridian at @ROW a directional attribute is an instance of region, then the directional attribute is equal to east or the directional attribute is equal to west
(=> (magneticVariation ?AREA ?DEGREE ?DIRECTION) (or (equal ?DIRECTION East) (equal ?DIRECTION West)))	Geography.kif 3616-3620	If a geographic area magnetic variation a plane angle measure for a directional attribute, then the directional attribute is equal to east or the directional attribute is equal to 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners