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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - West
West(west)
W, due_west, west, west_side, westbound, westerly, western, westernmost, westmost, westside, westward, westwards

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


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

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


(oppositeDirection East West) Mid-level-ontology.kif 15919-15919 West is an opposite direction of east
(termFormat ChineseLanguage West "西方") domainEnglishFormat.kif 62693-62693
(termFormat ChineseTraditionalLanguage West "西方") domainEnglishFormat.kif 62692-62692
(termFormat EnglishLanguage West "west") domainEnglishFormat.kif 62691-62691

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


(orientation Europe Asia West) Geography.kif 276-276 Europe is west to asia
(orientation Ireland Wales West) Geography.kif 6494-6494 Ireland is west to Wales
(orientation Wales England West) Geography.kif 6489-6489 Wales is west to England

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


(contraryAttribute North South East West) Merge.kif 15877-15877 North is the opposite of south

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3624-3626 An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 15893-15895 An object is east to another object if and only if the other object is west to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3569-3573 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3557-3561 An object is southwest to another object if and only if the object is south to the other object and the object is west 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 3675-3692
(=>
    (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 3659-3663


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