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

Formal Language: 



KB Term:  Term intersection
English Word: 

  West

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 17097-17097
(externalImage West "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 2059-2059
(instance West DirectionalAttribute) Merge.kif 17096-17096 West est une instance de attribut directionnel

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


(oppositeDirection East West) Mid-level-ontology.kif 18161-18161 oppositeDirection East and West
(termFormat ChineseLanguage West "西方") domainEnglishFormat.kif 62711-62711
(termFormat ChineseTraditionalLanguage West "西方") domainEnglishFormat.kif 62710-62710
(termFormat EnglishLanguage West "west") domainEnglishFormat.kif 62709-62709

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


(orientation Europe Asia West) Geography.kif 276-276 Europe est WestAsia
(orientation Ireland Wales West) Geography.kif 6966-6966 Ireland est WestWales
(orientation Wales England West) Geography.kif 6961-6961 Wales est WestEngland

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


(contraryAttribute North South East West) Merge.kif 17083-17083 North est l'oppos� de South

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3743-3745 courseWRTTrueNorth objet, objet and 270.0 AngularDegree(s) objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17099-17101 Objet est East objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3688-3692 Objet est Northwest objet objet est North objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3676-3680 Objet est Southwest objet objet est South objet objet est West objet
(=>
    (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 3778-3782


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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