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 之间的位置是垂直的。") Merge.kif 21605-21607
(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 21600-21604
(domain orientation 1 Object) Merge.kif 21597-21597 orientation の数値 1 引数は オブジェクトinstance では %n
(domain orientation 2 Object) Merge.kif 21598-21598 orientation の数値 2 引数は オブジェクトinstance では %n
(domain orientation 3 PositionalAttribute) Merge.kif 21599-21599 orientation の数値 3 引数は 位置属性instance では %n
(instance orientation SpatialRelation) Merge.kif 21595-21595 orientation空間的関係instance では %n
(instance orientation TernaryPredicate) Merge.kif 21596-21596 orientation3進述語instance では %n

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 816-816
(format JapaneseLanguage orientation "%1 は %3 対 %2 では %n") english_format.kif 817-817
(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 8845-8848 オブジェクトOutside オブジェクト では %n オブジェクトpartly オブジェクト に 位置して
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 21822-21826 オブジェクトAdjacent オブジェクト では %n オブジェクトNear オブジェクト では %n オブジェクト オブジェクトconnected して
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 21808-21812 オブジェクトBelow オブジェクト では %n オブジェクトOn オブジェクト では %n オブジェクトAbove オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 21731-21733 オブジェクトEast オブジェクト では %n オブジェクトWest オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 21752-21754 オブジェクトHorizontal オブジェクト では %n オブジェクトHorizontal オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 21719-21721 オブジェクトNorth オブジェクト では %n オブジェクトSouth オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3478-3482 オブジェクトNortheast オブジェクト では %n オブジェクトNorth オブジェクト では %n オブジェクトEast オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3513-3517 オブジェクトNorthwest オブジェクト では %n オブジェクトNorth オブジェクト では %n オブジェクトWest オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 21847-21849 オブジェクトRight オブジェクト では %n オブジェクトLeft オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3489-3493 オブジェクトSoutheast オブジェクト では %n オブジェクトSouth オブジェクト では %n オブジェクトEast オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3501-3505 オブジェクトSouthwest オブジェクト では %n オブジェクトSouth オブジェクト では %n オブジェクトWest オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 21741-21743 オブジェクトVertical オブジェクト では %n オブジェクトVertical オブジェクト では %n
(=>
    (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 21703-21708
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))
Merge.kif 21777-21781
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))
Merge.kif 21763-21767
(=>
    (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 21609-21617
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 15831-15836

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(s) オブジェクトNorth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3580-3582 courseWRTTrueNorth オブジェクト, オブジェクト and 135 の AngularDegree(s) オブジェクトSoutheast オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3564-3566 courseWRTTrueNorth オブジェクト, オブジェクト and 180 の AngularDegree(s) オブジェクトSouth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3584-3586 courseWRTTrueNorth オブジェクト, オブジェクト and 225 の AngularDegree(s) オブジェクトSouthwest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3568-3570 courseWRTTrueNorth オブジェクト, オブジェクト and 270 の AngularDegree(s) オブジェクトWest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3588-3590 courseWRTTrueNorth オブジェクト, オブジェクト and 315 の AngularDegree(s) オブジェクトNorthwest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3572-3574 courseWRTTrueNorth オブジェクト, オブジェクト and 360 の AngularDegree(s) オブジェクトNorth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3576-3578 courseWRTTrueNorth オブジェクト, オブジェクト and 45 の AngularDegree(s) オブジェクトNortheast オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3560-3562 courseWRTTrueNorth オブジェクト, オブジェクト and 90 の AngularDegree(s) オブジェクトEast オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 21822-21826 オブジェクトAdjacent オブジェクト では %n オブジェクトNear オブジェクト では %n オブジェクト オブジェクトconnected して
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 21808-21812 オブジェクトBelow オブジェクト では %n オブジェクトOn オブジェクト では %n オブジェクトAbove オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 21731-21733 オブジェクトEast オブジェクト では %n オブジェクトWest オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 21752-21754 オブジェクトHorizontal オブジェクト では %n オブジェクトHorizontal オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 21719-21721 オブジェクトNorth オブジェクト では %n オブジェクトSouth オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3478-3482 オブジェクトNortheast オブジェクト では %n オブジェクトNorth オブジェクト では %n オブジェクトEast オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3513-3517 オブジェクトNorthwest オブジェクト では %n オブジェクトNorth オブジェクト では %n オブジェクトWest オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 21847-21849 オブジェクトRight オブジェクト では %n オブジェクトLeft オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3489-3493 オブジェクトSoutheast オブジェクト では %n オブジェクトSouth オブジェクト では %n オブジェクトEast オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3501-3505 オブジェクトSouthwest オブジェクト では %n オブジェクトSouth オブジェクト では %n オブジェクトWest オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 21741-21743 オブジェクトVertical オブジェクト では %n オブジェクトVertical オブジェクト では %n
(=>
    (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 11138-11140
(=>
    (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 13437-13442

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 AfricaSoutheastNorthAmerica では %n
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 AfricaNortheastSouthAmerica では %n
(orientation Asia Oceania Northwest) Geography.kif 281-281 AsiaNorthwestOceania では %n
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 CaribbeanRegionSouthNorthAmerica では %n
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegionNorthSouthAmerica では %n
(orientation Europe Africa North) Geography.kif 275-275 EuropeNorthAfrica では %n
(orientation Europe Asia West) Geography.kif 276-276 EuropeWestAsia では %n
(orientation Europe NorthAmerica East) Geography.kif 277-277 EuropeEastNorthAmerica では %n
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 EuropeNortheastSouthAmerica では %n
(orientation Ireland Wales West) Geography.kif 6288-6288 IrelandWestWales では %n
(orientation IsleOfMan NorthernIreland East) Geography.kif 6287-6287 IsleOfManEastNorthernIreland では %n
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 MiddleAmericaSouthNorthAmerica では %n
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmericaNorthSouthAmerica では %n
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 MiddleEastRegionNortheastAfrica では %n
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 MiddleEastRegionSouthwestAsia では %n
(orientation NorthAmerica Asia East) Geography.kif 279-279 NorthAmericaEastAsia では %n
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 NorthAmericaNorthSouthAmerica では %n
(orientation NorthernIreland England Northwest) Geography.kif 6276-6276 NorthernIrelandNorthwestEngland では %n
(orientation NorthernIreland Scotland Southwest) Geography.kif 6275-6275 NorthernIrelandSouthwestScotland では %n
(orientation NorthernIreland Wales Northwest) Geography.kif 6285-6285 NorthernIrelandNorthwestWales では %n
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 OceaniaSouthwestNorthAmerica では %n
(orientation Scotland England North) Geography.kif 6273-6273 ScotlandNorthEngland では %n
(orientation Scotland Wales North) Geography.kif 6286-6286 ScotlandNorthWales では %n
(orientation Wales England West) Geography.kif 6283-6283 WalesWestEngland では %n


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