East - Sigma Knowledge base Browser

appearance as argument number 1

(documentation East ChineseLanguage "这是罗盘方向 East.")	Merge.kif 21725-21725
(documentation East EnglishLanguage "The compass direction of East.")	Merge.kif 21724-21724
(externalImage East "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png")	pictureList.kif 1742-1742	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png" is a URL depicting east
(instance East DirectionalAttribute)	Merge.kif 21723-21723	East is an instance of directional attribute
(oppositeDirection East West)	Mid-level-ontology.kif 15829-15829	West is an opposite direction of east

appearance as argument number 2

(termFormat ChineseLanguage East "东")	domainEnglishFormat.kif 20749-20749	"东" is the printable form of east in ChineseLanguage
(termFormat ChineseTraditionalLanguage East "東")	domainEnglishFormat.kif 20748-20748	"東" is the printable form of east in ChineseTraditionalLanguage
(termFormat EnglishLanguage East "east")	domainEnglishFormat.kif 20747-20747	"east" is the printable form of east in english language

appearance as argument number 3

(contraryAttribute North South East West)	Merge.kif 21711-21711	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 6287-6287	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 21731-21733

An object is east to another object if and only if the other object is west to the object

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East))	Geography.kif 3560-3562	An object courseWRT true north another object for 90 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 3478-3482	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 3489-3493	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
(=> (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 3619-3636	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 3603-3607	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

statement

(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65 AngularDegree)
        (MeasureFn 0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0 AngularDegree)
        (MeasureFn 0 ArcMinute)))

Geography.kif 4377-4379

The geographic center of southern ocean is object geographic coordinates the region south of 65 angular degree(s) for the meridian at 0 angular degree(s) east

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

KB Term:			Term intersection

English Word: