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 16633-16637
(domain orientation 1 Object) Merge.kif 16630-16630 定向 的 1 数量 是 客体instance
(domain orientation 2 Object) Merge.kif 16631-16631 定向 的 2 数量 是 客体instance
(domain orientation 3 PositionalAttribute) Merge.kif 16632-16632 定向 的 3 数量 是 位置属性instance
(instance orientation SpatialRelation) Merge.kif 16628-16628 定向空间关系instance
(instance orientation TernaryPredicate) Merge.kif 16629-16629 定向三元谓语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 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 8722-8725 客体另一个 客体 若且唯若 那个 客体 不 是 partlyLocated那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 16822-16826 客体另一个 客体 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体connected
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 16810-16814 客体另一个 客体下面 若且唯若 那个 另外 客体那个 客体那个 另外 客体那个 客体以上
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 16747-16749 客体另一个 客体 若且唯若 那个 另外 客体那个 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 16764-16766 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 16737-16739 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3575-3579 客体另一个 客体东北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3610-3614 客体另一个 客体西北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 16843-16845 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3586-3590 客体另一个 客体东南 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3598-3602 客体另一个 客体西南 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 16755-16757 客体另一个 客体垂直 若且唯若 那个 另外 客体那个 客体垂直
(=>
    (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 16723-16728
(=>
    (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 16784-16788
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))
Merge.kif 16773-16777
(=>
    (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 11185-11190
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O On))
    (objectTransferred ?T ?O2))
Merge.kif 11192-11197
(=>
    (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 14894-14910
(=>
    (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 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3677-3679 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体东南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3661-3663 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3681-3683 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3665-3667 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西方
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3685-3687 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3669-3671 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3673-3675 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体东北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3657-3659 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 16822-16826 客体另一个 客体 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体connected
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 16810-16814 客体另一个 客体下面 若且唯若 那个 另外 客体那个 客体那个 另外 客体那个 客体以上
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 16747-16749 客体另一个 客体 若且唯若 那个 另外 客体那个 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 16764-16766 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 16737-16739 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3575-3579 客体另一个 客体东北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3610-3614 客体另一个 客体西北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 16843-16845 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3586-3590 客体另一个 客体东南 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3598-3602 客体另一个 客体西南 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 16755-16757 客体另一个 客体垂直 若且唯若 那个 另外 客体那个 客体垂直
(=>
    (adjacentOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Adjacent))))
Hotel.kif 917-922
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))
Merge.kif 7618-7620
(=>
    (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 Suite)
        (instance ?X HotelUnit))
    (exists (?R1 ?R2)
        (and
            (instance ?R1 HotelRoom)
            (instance ?R2 HotelRoom)
            (orientation ?R1 ?X Inside)
            (orientation ?R2 ?X Inside)
            (not
                (equal ?R1 ?R2)))))
Hotel.kif 981-992

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 SouthAmerica Northeast) Geography.kif 280-280 非洲南美洲东北
(orientation Asia Oceania Northwest) Geography.kif 281-281 亚洲大洋洲西北
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 加勒比地区北美
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 加勒比地区南美洲
(orientation Europe Africa North) Geography.kif 275-275 欧洲非洲
(orientation Europe Asia West) Geography.kif 276-276 欧洲亚洲西方
(orientation Europe NorthAmerica East) Geography.kif 277-277 欧洲北美
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 欧洲南美洲东北
(orientation Ireland Wales West) Geography.kif 6654-6654 爱尔兰Wales西方
(orientation IsleOfMan NorthernIreland East) Geography.kif 6653-6653 人岛北爱尔兰
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 中美洲北美
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 中美洲南美洲
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 中东地区非洲东北
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 中东地区亚洲西南
(orientation NorthAmerica Asia East) Geography.kif 279-279 北美亚洲
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 北美南美洲
(orientation NorthernIreland England Northwest) Geography.kif 6642-6642 北爱尔兰England西北
(orientation NorthernIreland Scotland Southwest) Geography.kif 6641-6641 北爱尔兰苏格兰西南
(orientation NorthernIreland Wales Northwest) Geography.kif 6651-6651 北爱尔兰Wales西北
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 大洋洲北美西南
(orientation Scotland England North) Geography.kif 6639-6639 苏格兰England
(orientation Scotland Wales North) Geography.kif 6652-6652 苏格兰Wales
(orientation Wales England West) Geography.kif 6649-6649 WalesEngland西方


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