Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  East

 Sigma KEE - East
East(east of)
E, due_east, east, east_side, easterly, eastern, easternmost, eastmost, eastside, eastward, eastwards

appearance as argument number 1
-------------------------


(instance East DirectionalAttribute) Merge.kif 17376-17376 East of is an instance of directional attribute
(documentation East EnglishLanguage "The compass direction of East.") Merge.kif 17377-17377 East of is an instance of directional attribute
(oppositeDirection East West) Mid-level-ontology.kif 20068-20068 West of is an opposite direction of east of
(externalImage East "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1740-1740 West of is an opposite direction of east of

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage East "east of") domainEnglishFormat.kif 20820-20820
(termFormat ChineseTraditionalLanguage East "東") domainEnglishFormat.kif 20821-20821
(termFormat ChineseLanguage East "东") domainEnglishFormat.kif 20822-20822

appearance as argument number 3
-------------------------


(contraryAttribute North South East West) Merge.kif 17366-17366 North of is the opposite of south of
(orientation Europe NorthAmerica East) Geography.kif 277-277 Europe is east of to north america
(orientation NorthAmerica Asia East) Geography.kif 279-279 North america is east of to asia
(orientation Italy SouthernFrance East) Geography.kif 344-344 Italy is east of to Southern France
(orientation RockyMountains Texas East) Geography.kif 370-370 Rocky Mountains is east of to texas
(orientation RockyMountains Oklahoma East) Geography.kif 371-371 Rocky Mountains is east of to Oklahoma
(orientation RockyMountains Kansas East) Geography.kif 372-372 Rocky Mountains is east of to Kansas
(orientation RockyMountains Nebraska East) Geography.kif 373-373 Rocky Mountains is east of to Nebraska
(orientation RockyMountains SouthDakota East) Geography.kif 374-374 Rocky Mountains is east of to South Dakota
(orientation RockyMountains NorthDakota East) Geography.kif 375-375 Rocky Mountains is east of to north dakota
(orientation CentralValleyCalifornia CaliforniaCoastRanges East) Geography.kif 1404-1404 Central Valley California is east of to California Coast Ranges
(orientation Brazil AndesMountains East) Geography.kif 1431-1431 Brazil is east of to Andes Mountains
(orientation Paraguay AndesMountains East) Geography.kif 1432-1432 Paraguay is east of to Andes Mountains
(orientation RockyMountains BritishColumbia East) Geography.kif 1527-1527 Rocky Mountains is east of to British Columbia
(orientation RedSea SaharaDesert East) Geography.kif 8279-8279 Red sea is east of to Sahara Desert
(orientation RedSea Sahel East) Geography.kif 8298-8298 Red sea is east of to Sahel
(orientation IsleOfMan NorthernIreland East) Geography.kif 8629-8629 Isle of man is east of to northern ireland

antecedent
-------------------------


(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17382-17384 X is east of to Y if and only if Y is west of to X
(=>
    (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 All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Rocky Mountains (4) Y is located at Rocky Mountains (5) X is east of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Rocky Mountains (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Rocky Mountains (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 70 and 300 is greater than V
(=>
    (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 All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Sierra Nevada (4) Y is located at Sierra Nevada (5) X is east of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Sierra Nevada (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Sierra Nevada (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 50 and 80 is greater than V
(=>
    (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 All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Andes Mountains (4) Y is located at Andes Mountains (5) X is east of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Andes Mountains (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Andes Mountains (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 120 and 430 is greater than V

consequent
-------------------------


(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (orientation
        (GeographicEastFn ?REGION)
        (GeographicWestFn ?REGION) East))		 Geography.kif 1790-1795 If X is an instance of geographic area, geographic east X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic east X is east of to geographic west X
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 1937-1941 If the meridian at @ROW Y is an instance of region, then equal Y and east of or equal Y and west of
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 5081-5085 X is northeast of to Y if, only if X is north of to Y, and X is east of to Y
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 5092-5096 X is southeast of to Y if, only if X is south of to Y, and X is east of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 5163-5165 X courseWRT true north Y for 90.0 angular degree(s) if and only if X is east of to Y
(=>
    (and
        (instance ?W InteriorChinookWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A WesternNorthAmerica)
        (instance ?M MountainRange))
    (orientation ?A ?M East))		 Weather.kif 2160-2166 If X is an instance of interior chinook wind, X is located at Y, Y is a geographic subregion of Western NorthAmerica, and Z is an instance of mountain range, then Y is east of to Z
(=>
    (and
        (instance ?W ZondaWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Argentina))
    (orientation ?A AndesMountains East))		 Weather.kif 2204-2209 If X is an instance of Zonda wind, X is located at Y, and Y is a geographic subregion of argentina, then Y is east of to Andes Mountains
(=>
    (and
        (instance ?W PuelcheWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Chile)
        (orientation ?A SantiagoChile South))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?A East)))		 Weather.kif 2217-2225 If X is an instance of Puelche wind, X is located at Y, Y is a geographic subregion of chile, and Y is south of to santiago chile, then east of is a surface wind direction of Y holds during the time of existence of X

statement
-------------------------


(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))		 Geography.kif 6204-6211 The geographic center of southern ocean is object geographic coordinates the region south of of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east of


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners