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 16661-16665
(domain orientation 1 Object) Merge.kif 16658-16658 domain orientation, 1 and Object
(domain orientation 2 Object) Merge.kif 16659-16659 domain orientation, 2 and Object
(domain orientation 3 PositionalAttribute) Merge.kif 16660-16660 domain orientation, 3 and PositionalAttribute
(instance orientation SpatialRelation) Merge.kif 16656-16656 instance orientation and SpatialRelation
(instance orientation TernaryPredicate) Merge.kif 16657-16657 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 590-590
(termFormat ChineseLanguage orientation "定向") chinese_format.kif 587-587
(termFormat ChineseLanguage orientation "方位") domainEnglishFormat.kif 42559-42559
(termFormat ChineseTraditionalLanguage orientation "方位") domainEnglishFormat.kif 42558-42558
(termFormat EnglishLanguage orientation "orientation") domainEnglishFormat.kif 42557-42557

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 8768-8771 orientation Object, Object and Outside partlyLocated Object and Object
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 16850-16854 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 16838-16842 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 16775-16777 orientation Object, Object and East orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 16792-16794 orientation Object, Object and Horizontal orientation Object, Object and Horizontal
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 16765-16767 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 3575-3579 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 3610-3614 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 16871-16873 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 3586-3590 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 3598-3602 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 16783-16785 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 6023-6028
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 16751-16756
(=>
    (and
        (instance ?FOG Fogging)
        (eventLocated ?FOG ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (instance ?A Aerosal)
        (locatedAtTime ?A
            (WhenFn ?FOG) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?FOG)
            (MeasureFn ?VISIBILITY Meter)))
    (lessThan ?VISIBILITY 1000.0))
Weather.kif 2536-2549
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2.0)
        (lessThan ?VISIBILITY 5.0)))
Weather.kif 2565-2579
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))
Merge.kif 16812-16816
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))
Merge.kif 16801-16805
(=>
    (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 6049-6058
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))
Merge.kif 11198-11203
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O On))
    (objectTransferred ?T ?O2))
Merge.kif 11205-11210
(=>
    (and
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (not
            (equal ?T1C ?T2C))
        (not
            (subclass ?T1C ?T2C))
        (not
            (subclass ?T2C ?T1C))
        (orientation ?T1 ?T2 Adjacent))
    (modalAttribute
        (exists (?CT)
            (and
                (instance ?CT ConnectiveTissue)
                (between ?T1 ?CT ?T2))) Likely))
Merge.kif 14917-14933
(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?basin
            (MeasureFn ?height1 ?U))
        (earthAltitude ?area
            (MeasureFn ?height2 ?U))
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4169-4179
(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (instance ?U UnitOfLength)
        (height ?piedmont
            (MeasureFn ?height1 ?U))
        (height ?mountains
            (MeasureFn ?height2 ?U)))
    (greaterThan ?height2 ?height1))
Geography.kif 4128-4138
(=>
    (and
        (instance ?place UndergroundArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?place
            (MeasureFn ?alt1 ?U))
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area
            (MeasureFn ?alt2 ?U)))
    (greaterThan ?alt2 ?alt1))
Geography.kif 3921-3932

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3653-3655 courseWRTTrueNorth Object, Object and MeasureFn 0.0 and AngularDegree orientation Object, Object and North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3677-3679 courseWRTTrueNorth Object, Object and MeasureFn 135.0 and AngularDegree orientation Object, Object and Southeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3661-3663 courseWRTTrueNorth Object, Object and MeasureFn 180.0 and AngularDegree orientation Object, Object and South
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3681-3683 courseWRTTrueNorth Object, Object and MeasureFn 225.0 and AngularDegree orientation Object, Object and Southwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3665-3667 courseWRTTrueNorth Object, Object and MeasureFn 270.0 and AngularDegree orientation Object, Object and West
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3685-3687 courseWRTTrueNorth Object, Object and MeasureFn 315.0 and AngularDegree orientation Object, Object and Northwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3669-3671 courseWRTTrueNorth Object, Object and MeasureFn 360.0 and AngularDegree orientation Object, Object and North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3673-3675 courseWRTTrueNorth Object, Object and MeasureFn 45.0 and AngularDegree orientation Object, Object and Northeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3657-3659 courseWRTTrueNorth Object, Object and MeasureFn 90.0 and AngularDegree orientation Object, Object and East
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 16850-16854 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 16838-16842 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 16775-16777 orientation Object, Object and East orientation Object, Object and West
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 16792-16794 orientation Object, Object and Horizontal orientation Object, Object and Horizontal
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 16765-16767 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 3575-3579 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 3610-3614 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 16871-16873 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 3586-3590 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 3598-3602 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 16783-16785 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 939-944
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))
Merge.kif 7626-7628
(=>
    (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 2661-2672
(=>
    (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 2633-2644
(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))
Mid-level-ontology.kif 3985-4002

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 6654-6654 orientation Ireland, Wales and West
(orientation IsleOfMan NorthernIreland East) Geography.kif 6653-6653 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 6642-6642 orientation NorthernIreland, England and Northwest
(orientation NorthernIreland Scotland Southwest) Geography.kif 6641-6641 orientation NorthernIreland, Scotland and Southwest
(orientation NorthernIreland Wales Northwest) Geography.kif 6651-6651 orientation NorthernIreland, Wales and Northwest
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 orientation Oceania, NorthAmerica and Southwest
(orientation Scotland England North) Geography.kif 6639-6639 orientation Scotland, England and North
(orientation Scotland Wales North) Geography.kif 6652-6652 orientation Scotland, Wales and North
(orientation Wales England West) Geography.kif 6649-6649 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 3.0 is open source software produced by Articulate Software and its partners