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 17201-17201
(externalImage West "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 2058-2058
(instance West DirectionalAttribute) Merge.kif 17200-17200

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


(oppositeDirection East West) Mid-level-ontology.kif 19705-19705
(termFormat ChineseLanguage West "西方") domainEnglishFormat.kif 62703-62703
(termFormat ChineseTraditionalLanguage West "西方") domainEnglishFormat.kif 62702-62702
(termFormat EnglishLanguage West "west") domainEnglishFormat.kif 62701-62701

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


(orientation AtlanticOcean SaharaDesert West) Geography.kif 6920-6920
(orientation AtlanticOcean Sahel West) Geography.kif 6939-6939
(orientation AtlanticOcean SouthernFrance West) Geography.kif 342-342
(orientation Europe Asia West) Geography.kif 276-276
(orientation Ireland Wales West) Geography.kif 7270-7270
(orientation LevantRegion MediterraneanRegion West) Geography.kif 309-309
(orientation PacificOcean BritishColumbia West) Geography.kif 413-413
(orientation PacificOcean PacificNorthwest West) Geography.kif 374-374
(orientation PacificOcean WesternNorthAmerica West) Geography.kif 387-387
(orientation RockyMountains PacificNorthwest West) Geography.kif 375-375
(orientation RockyMountains WesternNorthAmerica West) Geography.kif 388-388
(orientation Wales England West) Geography.kif 7265-7265

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


(contraryAttribute North South East West) Merge.kif 17187-17187

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3868-3870
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17203-17205
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3813-3817
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3801-3805
(=>
    (and
        (instance ?W ChinookWind)
        (eventLocated ?W ?A))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?A West)))
Weather.kif 1670-1676
(=>
    (and
        (instance ?W CoastalChinookWind)
        (eventLocated ?W ?A))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?A West)))
Weather.kif 1685-1691
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))
Geography.kif 598-602


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