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 17045-17045
(externalImage East "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1741-1741
(instance East DirectionalAttribute) Merge.kif 17044-17044 East è un' istanza di AttributoDirezionale
(oppositeDirection East West) Mid-level-ontology.kif 18133-18133 oppositeDirection East and West

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


(termFormat ChineseLanguage East "东") domainEnglishFormat.kif 20820-20820
(termFormat ChineseTraditionalLanguage East "東") domainEnglishFormat.kif 20819-20819
(termFormat EnglishLanguage East "east") domainEnglishFormat.kif 20818-20818

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


(contraryAttribute North South East West) Merge.kif 17034-17034 North è opposto a South
(orientation Europe NorthAmerica East) Geography.kif 277-277 Europe è East a NorthAmerica
(orientation IsleOfMan NorthernIreland East) Geography.kif 6965-6965 IsleOfMan è East a NorthernIreland
(orientation NorthAmerica Asia East) Geography.kif 279-279 NorthAmerica è East a Asia

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


(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17050-17052 Oggetto è East a Oggetto Oggetto è West a Oggetto

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3735-3737 courseWRTTrueNorth Oggetto, Oggetto and 90.0 AngularDegree(s Oggetto è East a Oggetto
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3653-3657 Oggetto è Northeast a Oggetto Oggetto è North a Oggetto Oggetto è East a Oggetto
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3664-3668 Oggetto è Southeast a Oggetto Oggetto è South a Oggetto Oggetto è East a Oggetto
(=>
    (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 3778-3782

statement
-------------------------


(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))		 Geography.kif 4662-4669 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s and 0.0 ArcMinute(s and LongitudeFn East, 0.0 AngularDegree(s and 0.0 ArcMinute(s


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