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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - orientation
orientation

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


(documentation orientation ChineseLanguage "这是一个用来表示两个 Object 相对于彼此的定向的 Predicate。 例如:(orientation ?OBJ1 ?OBJ2 North)第意思是 ?OBJ1 在 ?OBJ2 的北方,而 (orientation ?OBJ1 ?OBJ2 Vertical)第意思是 ?OBJ1 和 ?OBJ2 之间的位置是垂直的。") chinese_format.kif 3786-3788
(documentation orientation EnglishLanguage "A general Predicate for indicating how two Objects are oriented with respect to one another. For example, (orientation ?OBJ1 ?OBJ2 North) means that ?OBJ1 is north of ?OBJ2, and (orientation ?OBJ1 ?OBJ2 Vertical) means that ?OBJ1 is positioned vertically with respect to ?OBJ2.") Merge.kif 15616-15620
(domain orientation 1 Object) Merge.kif 15613-15613 domain orientation, 1 and Object
(domain orientation 2 Object) Merge.kif 15614-15614 domain orientation, 2 and Object
(domain orientation 3 PositionalAttribute) Merge.kif 15615-15615 domain orientation, 3 and PositionalAttribute
(instance orientation SpatialRelation) Merge.kif 15611-15611 instance orientation and SpatialRelation
(instance orientation TernaryPredicate) Merge.kif 15612-15612 instance orientation and TernaryPredicate

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


(format ChineseLanguage orientation "%1 %n 在 %2 的 %3") chinese_format.kif 586-586
(format EnglishLanguage orientation "%1 is %n %3 to %2") english_format.kif 593-593
(termFormat ChineseLanguage orientation "定向") chinese_format.kif 587-587 termFormat ChineseLanguage, orientation and "定向"
(termFormat ChineseLanguage orientation "方位") domainEnglishFormat.kif 42493-42493 termFormat ChineseLanguage, orientation and "方位"
(termFormat ChineseTraditionalLanguage orientation "方位") domainEnglishFormat.kif 42492-42492 termFormat ChineseTraditionalLanguage, orientation and "方位"
(termFormat EnglishLanguage orientation "orientation") domainEnglishFormat.kif 42491-42491 termFormat EnglishLanguage, orientation and "orientation"

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 8846-8849 orientation Object, Object and Outside partlyLocated Object and Object
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 15799-15803 orientation Object, Object and Adjacent orientation Object, Object and Near connected Object and Object
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 15787-15791 orientation Object, Object and Below orientation Object, Object and On orientation Object, Object and Above
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 15724-15726 orientation Object, Object and East orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 15741-15743 orientation Object, Object and Horizontal orientation Object, Object and Horizontal
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 15714-15716 orientation Object, Object and North orientation Object, Object and South
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3491-3495 orientation Object, Object and Northeast orientation Object, Object and North orientation Object, Object and East
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3526-3530 orientation Object, Object and Northwest orientation Object, Object and North orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 15820-15822 orientation Object, Object and Right orientation Object, Object and Left
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3502-3506 orientation Object, Object and Southeast orientation Object, Object and South orientation Object, Object and East
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3514-3518 orientation Object, Object and Southwest orientation Object, Object and South orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 15732-15734 orientation Object, Object and Vertical orientation Object, Object and Vertical
(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 5723-5728
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 15700-15705
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))
Merge.kif 15761-15765
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))
Merge.kif 15750-15754
(=>
    (and
        (instance ?SHORE ShoreArea)
        (instance ?WATER WaterArea)
        (orientation ?SHORE ?WATER Adjacent))
    (exists (?LINE)
        (and
            (instance ?LINE Shoreline)
            (part ?LINE ?SHORE)
            (meetsSpatially ?LINE ?WATER))))
Geography.kif 5749-5758
(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (earthAltitude ?basin ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4029-4036
(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (height ?piedmont ?height1)
        (height ?mountains ?height2)
        (successorAttributeClosure ?height1 ?height2))
    (greaterThan ?height2 ?height1))
Geography.kif 3993-4001
(=>
    (and
        (instance ?place UndergroundArea)
        (earthAltitude ?place ?alt1)
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area ?alt2))
    (greaterThan ?alt2 ?alt1))
Geography.kif 3794-3802
(=>
    (and
        (instance ?valley Valley)
        (instance ?area LandArea)
        (earthAltitude ?valley ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4016-4023
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (greaterThan
            (SubtractionFn ?FAR ?LIMIT) 0))
    (not
        (located ?OBJ ?ZONE)))
Geography.kif 862-871
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (lessThanOrEqualTo
            (SubtractionFn ?FAR ?LIMIT) 0))
    (located ?OBJ ?ZONE))
Geography.kif 851-860
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?ATTR1)
        (contraryAttribute @ROW)
        (inList ?ATTR1
            (ListFn @ROW))
        (inList ?ATTR2
            (ListFn @ROW))
        (not
            (equal ?ATTR1 ?ATTR2)))
    (not
        (orientation ?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 15622-15630
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 15830-15835

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3569-3571 courseWRTTrueNorth Object, Object and MeasureFn 0 and AngularDegree orientation Object, Object and North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3593-3595 courseWRTTrueNorth Object, Object and MeasureFn 135 and AngularDegree orientation Object, Object and Southeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3577-3579 courseWRTTrueNorth Object, Object and MeasureFn 180 and AngularDegree orientation Object, Object and South
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3597-3599 courseWRTTrueNorth Object, Object and MeasureFn 225 and AngularDegree orientation Object, Object and Southwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3581-3583 courseWRTTrueNorth Object, Object and MeasureFn 270 and AngularDegree orientation Object, Object and West
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3601-3603 courseWRTTrueNorth Object, Object and MeasureFn 315 and AngularDegree orientation Object, Object and Northwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3585-3587 courseWRTTrueNorth Object, Object and MeasureFn 360 and AngularDegree orientation Object, Object and North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3589-3591 courseWRTTrueNorth Object, Object and MeasureFn 45 and AngularDegree orientation Object, Object and Northeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3573-3575 courseWRTTrueNorth Object, Object and MeasureFn 90 and AngularDegree orientation Object, Object and East
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 15799-15803 orientation Object, Object and Adjacent orientation Object, Object and Near connected Object and Object
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 15787-15791 orientation Object, Object and Below orientation Object, Object and On orientation Object, Object and Above
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 15724-15726 orientation Object, Object and East orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 15741-15743 orientation Object, Object and Horizontal orientation Object, Object and Horizontal
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 15714-15716 orientation Object, Object and North orientation Object, Object and South
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3491-3495 orientation Object, Object and Northeast orientation Object, Object and North orientation Object, Object and East
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3526-3530 orientation Object, Object and Northwest orientation Object, Object and North orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 15820-15822 orientation Object, Object and Right orientation Object, Object and Left
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3502-3506 orientation Object, Object and Southeast orientation Object, Object and South orientation Object, Object and East
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3514-3518 orientation Object, Object and Southwest orientation Object, Object and South orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 15732-15734 orientation Object, Object and Vertical orientation Object, Object and Vertical
(=>
    (adjacentOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Adjacent))))
Hotel.kif 909-914
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))
Merge.kif 7191-7193
(=>
    (and
        (attribute ?O Concave)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Outside))
ComputingBrands.kif 2666-2677
(=>
    (and
        (attribute ?O Convex)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Inside))
ComputingBrands.kif 2634-2645
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))
Merge.kif 9006-9011

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 orientation Africa, NorthAmerica and Southeast
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 orientation Africa, SouthAmerica and Northeast
(orientation Asia Oceania Northwest) Geography.kif 281-281 orientation Asia, Oceania and Northwest
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 orientation CaribbeanRegion, NorthAmerica and South
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 orientation CaribbeanRegion, SouthAmerica and North
(orientation Europe Africa North) Geography.kif 275-275 orientation Europe, Africa and North
(orientation Europe Asia West) Geography.kif 276-276 orientation Europe, Asia and West
(orientation Europe NorthAmerica East) Geography.kif 277-277 orientation Europe, NorthAmerica and East
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 orientation Europe, SouthAmerica and Northeast
(orientation Ireland Wales West) Geography.kif 6304-6304 orientation Ireland, Wales and West
(orientation IsleOfMan NorthernIreland East) Geography.kif 6303-6303 orientation IsleOfMan, NorthernIreland and East
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 orientation MiddleAmerica, NorthAmerica and South
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 orientation MiddleAmerica, SouthAmerica and North
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 orientation MiddleEastRegion, Africa and Northeast
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 orientation MiddleEastRegion, Asia and Southwest
(orientation NorthAmerica Asia East) Geography.kif 279-279 orientation NorthAmerica, Asia and East
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 orientation NorthAmerica, SouthAmerica and North
(orientation NorthernIreland England Northwest) Geography.kif 6292-6292 orientation NorthernIreland, England and Northwest
(orientation NorthernIreland Scotland Southwest) Geography.kif 6291-6291 orientation NorthernIreland, Scotland and Southwest
(orientation NorthernIreland Wales Northwest) Geography.kif 6301-6301 orientation NorthernIreland, Wales and Northwest
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 orientation Oceania, NorthAmerica and Southwest
(orientation Scotland England North) Geography.kif 6289-6289 orientation Scotland, England and North
(orientation Scotland Wales North) Geography.kif 6302-6302 orientation Scotland, Wales and North
(orientation Wales England West) Geography.kif 6299-6299 orientation Wales, England and West


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners