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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - West
West

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


(documentation West ChineseLanguage "这是罗盘方向 West.") chinese_format.kif 3807-3807
(documentation West EnglishLanguage "The compass direction of West.") Merge.kif 15825-15825
(externalImage West "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 2060-2060
(instance West DirectionalAttribute) Merge.kif 15824-15824

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


(oppositeDirection East West) Mid-level-ontology.kif 15881-15881
(termFormat ChineseLanguage West "西方") domainEnglishFormat.kif 62596-62596
(termFormat ChineseTraditionalLanguage West "西方") domainEnglishFormat.kif 62595-62595
(termFormat EnglishLanguage West "west") domainEnglishFormat.kif 62594-62594

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


(orientation Europe Asia West) Geography.kif 276-276
(orientation Ireland Wales West) Geography.kif 6304-6304
(orientation Wales England West) Geography.kif 6299-6299

appearance as argument number 4
-------------------------


(contraryAttribute North South East West) Merge.kif 15811-15811

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3581-3583
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 15827-15829
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3526-3530
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3514-3518
(=>
    (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


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