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 16880-16880
(externalImage West "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 2060-2060
(instance West DirectionalAttribute) Merge.kif 16879-16879 西方方向属性instance

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


(oppositeDirection East West) Mid-level-ontology.kif 17946-17946 西方opposite 方向
(termFormat ChineseLanguage West "西方") domainEnglishFormat.kif 62683-62683
(termFormat ChineseTraditionalLanguage West "西方") domainEnglishFormat.kif 62682-62682
(termFormat EnglishLanguage West "west") domainEnglishFormat.kif 62681-62681

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


(orientation Europe Asia West) Geography.kif 276-276 欧洲亚洲西方
(orientation Ireland Wales West) Geography.kif 6666-6666 爱尔兰Wales西方
(orientation Wales England West) Geography.kif 6661-6661 WalesEngland西方

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


(contraryAttribute North South East West) Merge.kif 16866-16866 的相反

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3676-3678 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 16882-16884 客体另一个 客体 若且唯若 那个 另外 客体那个 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3621-3625 客体另一个 客体西北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3609-3613 客体另一个 客体西南 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方
(=>
    (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 3711-3715


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