East - Sigma Knowledge base Browser

appearance as argument number 1

(documentation East ChineseLanguage "这是罗盘方向 East.")	chinese_format.kif 3806-3806
(documentation East EnglishLanguage "The compass direction of East.")	Merge.kif 17183-17183
(externalImage East "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png")	pictureList.kif 1740-1740
(instance East DirectionalAttribute)	Merge.kif 17182-17182	East is an instance of directional attribute
(oppositeDirection East West)	Mid-level-ontology.kif 19722-19722	West is an opposite direction of east

appearance as argument number 2

(termFormat ChineseLanguage East "东")	domainEnglishFormat.kif 20835-20835
(termFormat ChineseTraditionalLanguage East "東")	domainEnglishFormat.kif 20834-20834
(termFormat EnglishLanguage East "east")	domainEnglishFormat.kif 20833-20833

appearance as argument number 3

(contraryAttribute North South East West)	Merge.kif 17172-17172	North is the opposite of south
(orientation Europe NorthAmerica East)	Geography.kif 277-277	Europe is east to north america
(orientation IsleOfMan NorthernIreland East)	Geography.kif 7035-7035	Isle of man is east to northern ireland
(orientation NorthAmerica Asia East)	Geography.kif 279-279	North america is east to asia

antecedent

(<=>
(orientation ?OBJ1 ?OBJ2 East)
(orientation ?OBJ2 ?OBJ1 West))

Merge.kif 17188-17190

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East))	Geography.kif 3723-3725	An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3641-3645	An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3652-3656	An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
(=> (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

statement

Geography.kif 4732-4739