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 17198-17198
(externalImage East "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1740-1740
(instance East DirectionalAttribute) Merge.kif 17197-17197
(oppositeDirection East West) Mid-level-ontology.kif 19705-19705

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


(termFormat ChineseLanguage East "东") domainEnglishFormat.kif 20829-20829
(termFormat ChineseTraditionalLanguage East "東") domainEnglishFormat.kif 20828-20828
(termFormat EnglishLanguage East "east") domainEnglishFormat.kif 20827-20827

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


(contraryAttribute North South East West) Merge.kif 17187-17187
(oreintation Brazil AndesMountains East) Geography.kif 394-394
(oreintation Paraguay AndesMountains East) Geography.kif 395-395
(orientation Europe NorthAmerica East) Geography.kif 277-277
(orientation IsleOfMan NorthernIreland East) Geography.kif 7440-7440
(orientation Italy SouthernFrance East) Geography.kif 344-344
(orientation NorthAmerica Asia East) Geography.kif 279-279
(orientation RedSea SaharaDesert East) Geography.kif 7090-7090
(orientation RedSea Sahel East) Geography.kif 7109-7109
(orientation RockyMountains BritishColumbia East) Geography.kif 448-448
(orientation RockyMountains Kansas East) Geography.kif 371-371
(orientation RockyMountains Nebraska East) Geography.kif 372-372
(orientation RockyMountains NorthDakota East) Geography.kif 374-374
(orientation RockyMountains Oklahoma East) Geography.kif 370-370
(orientation RockyMountains SouthDakota East) Geography.kif 373-373
(orientation RockyMountains Texas East) Geography.kif 369-369

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


(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17203-17205

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 4031-4033
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3949-3953
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3960-3964
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (orientation
        (GeographicEastFn ?REGION)
        (GeographicWestFn ?REGION) East))		 Geography.kif 618-623
(=>
    (and
        (instance ?W InteriorChinookWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A WesternNorthAmerica)
        (instance ?M MountainRange))
    (orientation ?A ?M East))		 Weather.kif 1715-1721
(=>
    (and
        (instance ?W PuelcheWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Chile)
        (orientation ?A SantiagoChile South))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?A East)))		 Weather.kif 1772-1780
(=>
    (and
        (instance ?W ZondaWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Argentina))
    (orientation ?A AndesMountains East))		 Weather.kif 1759-1764
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 769-773