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

Formal Language: 



KB Term:  Term intersection
English Word: 

  orientation

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 之间的位置是垂直的。") Merge.kif 17233-17235
(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 17228-17232
(domain orientation 1 Object) Merge.kif 17225-17225 定向 的 1 数量 是 客体instance
(domain orientation 2 Object) Merge.kif 17226-17226 定向 的 2 数量 是 客体instance
(domain orientation 3 PositionalAttribute) Merge.kif 17227-17227 定向 的 3 数量 是 位置属性instance
(instance orientation SpatialRelation) Merge.kif 17223-17223 定向空间关系instance
(instance orientation TernaryPredicate) Merge.kif 17224-17224 定向三元谓语instance

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 362-362
(termFormat ChineseLanguage orientation "定向") chinese_format.kif 587-587 termFormat ChineseLanguage, 定向 and "定向"
(termFormat EnglishLanguage orientation "orientation") domainEnglishFormat.kif 7515-7515 termFormat EnglishLanguage, 定向 and "orientation"

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 8844-8847 客体另一个 客体Outside 若且唯若 那个 客体 不 是 partlyLocated那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17450-17454 客体另一个 客体Adjacent 若且唯若 那个 客体那个 另外 客体Near那个 客体那个 另外 客体connected
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17436-17440 客体另一个 客体Below 若且唯若 那个 另外 客体那个 客体On那个 另外 客体那个 客体Above
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17359-17361 客体另一个 客体East 若且唯若 那个 另外 客体那个 客体West
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17380-17382 客体另一个 客体Horizontal 若且唯若 那个 另外 客体那个 客体Horizontal
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17347-17349 客体另一个 客体North 若且唯若 那个 另外 客体那个 客体South
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3478-3482 客体另一个 客体Northeast 若且唯若 那个 客体那个 另外 客体North那个 客体那个 另外 客体East
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3513-3517 客体另一个 客体Northwest 若且唯若 那个 客体那个 另外 客体North那个 客体那个 另外 客体West
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17475-17477 客体另一个 客体Right 若且唯若 那个 另外 客体那个 客体Left
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3489-3493 客体另一个 客体Southeast 若且唯若 那个 客体那个 另外 客体South那个 客体那个 另外 客体East
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3501-3505 客体另一个 客体Southwest 若且唯若 那个 客体那个 另外 客体South那个 客体那个 另外 客体West
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17369-17371 客体另一个 客体Vertical 若且唯若 那个 另外 客体那个 客体Vertical
(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 5707-5712
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 17331-17336
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))
Merge.kif 17405-17409
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))
Merge.kif 17391-17395
(=>
    (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 5733-5742
(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (earthAltitude ?basin ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4016-4023
(=>
    (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 3980-3988
(=>
    (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 3781-3789
(=>
    (and
        (instance ?valley Valley)
        (instance ?area LandArea)
        (earthAltitude ?valley ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4003-4010
(=>
    (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 849-858
(=>
    (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 838-847
(=>
    (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 17237-17245
(=>
    (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 3556-3558 courseWRTTrueNorth 客体, 另一个 客体 and 0 AngularDegree 若且唯若 那个 客体那个 另外 客体North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3580-3582 courseWRTTrueNorth 客体, 另一个 客体 and 135 AngularDegree 若且唯若 那个 客体那个 另外 客体Southeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3564-3566 courseWRTTrueNorth 客体, 另一个 客体 and 180 AngularDegree 若且唯若 那个 客体那个 另外 客体South
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3584-3586 courseWRTTrueNorth 客体, 另一个 客体 and 225 AngularDegree 若且唯若 那个 客体那个 另外 客体Southwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3568-3570 courseWRTTrueNorth 客体, 另一个 客体 and 270 AngularDegree 若且唯若 那个 客体那个 另外 客体West
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3588-3590 courseWRTTrueNorth 客体, 另一个 客体 and 315 AngularDegree 若且唯若 那个 客体那个 另外 客体Northwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3572-3574 courseWRTTrueNorth 客体, 另一个 客体 and 360 AngularDegree 若且唯若 那个 客体那个 另外 客体North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3576-3578 courseWRTTrueNorth 客体, 另一个 客体 and 45 AngularDegree 若且唯若 那个 客体那个 另外 客体Northeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3560-3562 courseWRTTrueNorth 客体, 另一个 客体 and 90 AngularDegree 若且唯若 那个 客体那个 另外 客体East
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17450-17454 客体另一个 客体Adjacent 若且唯若 那个 客体那个 另外 客体Near那个 客体那个 另外 客体connected
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17436-17440 客体另一个 客体Below 若且唯若 那个 另外 客体那个 客体On那个 另外 客体那个 客体Above
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17359-17361 客体另一个 客体East 若且唯若 那个 另外 客体那个 客体West
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17380-17382 客体另一个 客体Horizontal 若且唯若 那个 另外 客体那个 客体Horizontal
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17347-17349 客体另一个 客体North 若且唯若 那个 另外 客体那个 客体South
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3478-3482 客体另一个 客体Northeast 若且唯若 那个 客体那个 另外 客体North那个 客体那个 另外 客体East
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3513-3517 客体另一个 客体Northwest 若且唯若 那个 客体那个 另外 客体North那个 客体那个 另外 客体West
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17475-17477 客体另一个 客体Right 若且唯若 那个 另外 客体那个 客体Left
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3489-3493 客体另一个 客体Southeast 若且唯若 那个 客体那个 另外 客体South那个 客体那个 另外 客体East
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3501-3505 客体另一个 客体Southwest 若且唯若 那个 客体那个 另外 客体South那个 客体那个 另外 客体West
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17369-17371 客体另一个 客体Vertical 若且唯若 那个 另外 客体那个 客体Vertical
(=>
    (adjacentOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Adjacent))))
Hotel.kif 905-910
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))
Merge.kif 7917-7919
(=>
    (and
        (attribute ?O Concave)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?P))
    (orientation ?PL ?O Inside))
ComputingBrands.kif 2507-2518
(=>
    (and
        (attribute ?O Convex)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?P))
    (orientation ?PL ?O Outside))
ComputingBrands.kif 2475-2486
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))
Merge.kif 9731-9736

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 AfricaNorthAmericaSoutheast
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 AfricaSouthAmericaNortheast
(orientation Asia Oceania Northwest) Geography.kif 281-281 AsiaOceaniaNorthwest
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 CaribbeanRegionNorthAmericaSouth
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegionSouthAmericaNorth
(orientation Europe Africa North) Geography.kif 275-275 EuropeAfricaNorth
(orientation Europe Asia West) Geography.kif 276-276 EuropeAsiaWest
(orientation Europe NorthAmerica East) Geography.kif 277-277 EuropeNorthAmericaEast
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 EuropeSouthAmericaNortheast
(orientation Ireland Wales West) Geography.kif 6288-6288 IrelandWalesWest
(orientation IsleOfMan NorthernIreland East) Geography.kif 6287-6287 IsleOfManNorthernIrelandEast
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 MiddleAmericaNorthAmericaSouth
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmericaSouthAmericaNorth
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 MiddleEastRegionAfricaNortheast
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 MiddleEastRegionAsiaSouthwest
(orientation NorthAmerica Asia East) Geography.kif 279-279 NorthAmericaAsiaEast
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 NorthAmericaSouthAmericaNorth
(orientation NorthernIreland England Northwest) Geography.kif 6276-6276 NorthernIrelandEnglandNorthwest
(orientation NorthernIreland Scotland Southwest) Geography.kif 6275-6275 NorthernIrelandScotlandSouthwest
(orientation NorthernIreland Wales Northwest) Geography.kif 6285-6285 NorthernIrelandWalesNorthwest
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 OceaniaNorthAmericaSouthwest
(orientation Scotland England North) Geography.kif 6273-6273 ScotlandEnglandNorth
(orientation Scotland Wales North) Geography.kif 6286-6286 ScotlandWalesNorth
(orientation Wales England West) Geography.kif 6283-6283 WalesEnglandWest


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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