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 15839-15839
(externalImage East "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 1742-1742
(instance East DirectionalAttribute) Merge.kif 15838-15838 East is an instance of directional attribute
(oppositeDirection East West) Mid-level-ontology.kif 15854-15854 West is an opposite direction of east

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


(termFormat ChineseLanguage East "东") domainEnglishFormat.kif 20743-20743
(termFormat ChineseTraditionalLanguage East "東") domainEnglishFormat.kif 20742-20742
(termFormat EnglishLanguage East "east") domainEnglishFormat.kif 20741-20741

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


(contraryAttribute North South East West) Merge.kif 15828-15828 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 6303-6303 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 15844-15846 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 3573-3575 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 3491-3495 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 3502-3506 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 3632-3649
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 461-465
(=>
    (magneticVariation ?AREA ?DEGREE ?DIRECTION)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 3616-3620