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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - East
East(东)

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


(documentation East ChineseLanguage "这是罗盘方向 East.") chinese_format.kif 3806-3806
(documentation East EnglishLanguage "The compass direction of East.") Merge.kif 16742-16742
(externalImage East "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 1742-1742
(instance East DirectionalAttribute) Merge.kif 16741-16741 方向属性instance
(oppositeDirection East West) Mid-level-ontology.kif 17519-17519 西方opposite 方向

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


(termFormat ChineseLanguage East "东") domainEnglishFormat.kif 20811-20811
(termFormat ChineseTraditionalLanguage East "東") domainEnglishFormat.kif 20810-20810
(termFormat EnglishLanguage East "east") domainEnglishFormat.kif 20809-20809

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


(contraryAttribute North South East West) Merge.kif 16731-16731 的相反
(orientation Europe NorthAmerica East) Geography.kif 277-277 欧洲北美
(orientation IsleOfMan NorthernIreland East) Geography.kif 6653-6653 人岛北爱尔兰
(orientation NorthAmerica Asia East) Geography.kif 279-279 北美亚洲

antecedent
-------------------------


(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 16747-16749 客体另一个 客体 若且唯若 那个 另外 客体那个 客体西方

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3657-3659 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3575-3579 客体另一个 客体东北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3586-3590 客体另一个 客体东南 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体
(=>
    (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 3700-3704