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 17026-17026
(externalImage West "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 2059-2059
(instance West DirectionalAttribute) Merge.kif 17025-17025 西方 and DirectionalAttribute

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


(oppositeDirection East West) Mid-level-ontology.kif 18134-18134 西方opposite 方向
(termFormat ChineseLanguage West "西方") domainEnglishFormat.kif 62709-62709
(termFormat ChineseTraditionalLanguage West "西方") domainEnglishFormat.kif 62708-62708
(termFormat EnglishLanguage West "west") domainEnglishFormat.kif 62707-62707

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


(orientation Europe Asia West) Geography.kif 276-276 方位 歐洲, 亞洲 and 西方
(orientation Ireland Wales West) Geography.kif 6966-6966 方位 愛爾蘭, Wales and 西方
(orientation Wales England West) Geography.kif 6961-6961 方位 Wales, England and 西方

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


(contraryAttribute North South East West) Merge.kif 17012-17012 相反的屬性 , , and 西方

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3743-3745 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17028-17030 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3688-3692 方位 Object, Object and 西北 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3676-3680 方位 Object, Object and 西南 方位 Object, Object and 方位 Object, Object and 西方
(=>
    (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 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