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

Formal Language: 



KB Term:  Term intersection
English Word: 

  East

Sigma KEE - East
East
شرْق, جِهة الشّرْق, شرْقِيّ, مشْرِقِي,

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


(documentation East ChineseLanguage "这是罗盘方向 East.") Merge.kif 17301-17301
(documentation East EnglishLanguage "The compass direction of East.") Merge.kif 17300-17300
(externalImage East "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 1742-1742
(instance East DirectionalAttribute) Merge.kif 17299-17299
(oppositeDirection East West) Mid-level-ontology.kif 15798-15798

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


(termFormat EnglishLanguage East "east") domainEnglishFormat.kif 3891-3891

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


(contraryAttribute North South East West) Merge.kif 17287-17287
(orientation Europe NorthAmerica East) Geography.kif 277-277
(orientation IsleOfMan NorthernIreland East) Geography.kif 6288-6288
(orientation NorthAmerica Asia East) Geography.kif 279-279

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


(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17307-17309

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3560-3562
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3478-3482
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3489-3493
(=>
    (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
(=>
    (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 3603-3607