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 West は 方向属性 の instance では

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


(oppositeDirection East West) Mid-level-ontology.kif 19705-19705 oppositeDirection East and West
(orientation
    (SeacoastFn SouthAmerica PacificOcean) AndesMountains West)		 Geography.kif 396-397 SeacoastFn SouthAmerica and PacificOcean は West 対 AndesMountains では
(termFormat ChineseLanguage West "西方") domainEnglishFormat.kif 62703-62703 SeacoastFn SouthAmerica and PacificOcean は West 対 AndesMountains では
(termFormat ChineseTraditionalLanguage West "西方") domainEnglishFormat.kif 62702-62702 SeacoastFn SouthAmerica and PacificOcean は West 対 AndesMountains では
(termFormat EnglishLanguage West "west") domainEnglishFormat.kif 62701-62701 SeacoastFn SouthAmerica and PacificOcean は West 対 AndesMountains では

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


(orientation Arizona RockyMountains West) Geography.kif 368-368 Arizona は West 対 RockyMountains では
(orientation AtlanticOcean SaharaDesert West) Geography.kif 6953-6953 AtlanticOcean は West 対 SaharaDesert では
(orientation AtlanticOcean Sahel West) Geography.kif 6972-6972 AtlanticOcean は West 対 Sahel では
(orientation AtlanticOcean SouthernFrance West) Geography.kif 342-342 AtlanticOcean は West 対 SouthernFrance では
(orientation California RockyMountains West) Geography.kif 367-367 California は West 対 RockyMountains では
(orientation Europe Asia West) Geography.kif 276-276 Europe は West 対 Asia では
(orientation Ireland Wales West) Geography.kif 7303-7303 Ireland は West 対 Wales では
(orientation LevantRegion MediterraneanRegion West) Geography.kif 309-309 LevantRegion は West 対 MediterraneanRegion では
(orientation Nevada RockyMountains West) Geography.kif 366-366 Nevada は West 対 RockyMountains では
(orientation Oregon RockyMountains West) Geography.kif 365-365 Oregon は West 対 RockyMountains では
(orientation PacificOcean BritishColumbia West) Geography.kif 446-446 PacificOcean は West 対 BritishColumbia では
(orientation PacificOcean PacificNorthwest West) Geography.kif 407-407 PacificOcean は West 対 PacificNorthwest では
(orientation PacificOcean WesternNorthAmerica West) Geography.kif 420-420 PacificOcean は West 対 WesternNorthAmerica では
(orientation RockyMountains PacificNorthwest West) Geography.kif 408-408 RockyMountains は West 対 PacificNorthwest では
(orientation RockyMountains WesternNorthAmerica West) Geography.kif 421-421 RockyMountains は West 対 WesternNorthAmerica では
(orientation Wales England West) Geography.kif 7298-7298 Wales は West 対 England では

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


(contraryAttribute North South East West) Merge.kif 17187-17187 North は South の disjoint では

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3901-3903 courseWRTTrueNorth オブジェクト, オブジェクト and 270.0 の AngularDegree(s) オブジェクト は West 対 オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17203-17205 オブジェクト は East 対 オブジェクト では オブジェクト は West 対 オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3846-3850 オブジェクト は Northwest 対 オブジェクト では オブジェクト は North 対 オブジェクト では オブジェクト は West 対 オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3834-3838 オブジェクト は Southwest 対 オブジェクト では オブジェクト は South 対 オブジェクト では オブジェクト は West 対 オブジェクト では
(=>
    (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 631-635


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