Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


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

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


(termFormat ChineseLanguage East "东") domainEnglishFormat.kif 20829-20829
(termFormat ChineseTraditionalLanguage East "東") domainEnglishFormat.kif 20828-20828
(termFormat EnglishLanguage East "east") domainEnglishFormat.kif 20827-20827

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


(contraryAttribute North South East West) Merge.kif 17187-17187 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 7269-7269 Isle of man is east to northern ireland
(orientation Italy SouthernFrance East) Geography.kif 344-344 Italy is east to Southern France
(orientation NorthAmerica Asia East) Geography.kif 279-279 North america is east to asia
(orientation RedSea SaharaDesert East) Geography.kif 6919-6919 Red sea is east to Sahara Desert
(orientation RedSea Sahel East) Geography.kif 6938-6938 Red sea is east to Sahel
(orientation RockyMountains BritishColumbia East) Geography.kif 415-415 Rocky Mountains is east to British Columbia

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


(<=>
    (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

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3860-3862 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 3778-3782 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 3789-3793 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
        (instance ?W InteriorChinookWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A WesternNorthAmerica)
        (instance ?M MountainRange))
    (orientation ?A ?M East))
Weather.kif 1715-1721
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))
Geography.kif 598-602

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 4869-4876 The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.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 3.0 is open source software produced by Articulate Software and its partners