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 之间的位置是垂直的。") 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 16915-16919
(domain orientation 1 Object) Merge.kif 16912-16912 方位, 1 and Object
(domain orientation 2 Object) Merge.kif 16913-16913 方位, 2 and Object
(domain orientation 3 PositionalAttribute) Merge.kif 16914-16914 方位, 3 and PositionalAttribute
(instance orientation SpatialRelation) Merge.kif 16910-16910 方位 and SpatialRelation
(instance orientation TernaryPredicate) Merge.kif 16911-16911 方位 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
(format FrenchLanguage orientation "%1 est %n %3 � %2") french_format.kif 351-351
(format ItalianLanguage orientation "%1 è %n %3 a %2") relations-it.txt 204-204
(format JapaneseLanguage orientation "%1 は %3 対 %2 では %n") japanese_format.kif 2098-2098
(format PortugueseLanguage orientation "%1 e' %n %3 em relacao a %2") portuguese_format.kif 303-303
(format cz orientation "%1 %p{je} %n{nen�} %3 vzhledem k %2") relations-cz.txt 359-359
(format de orientation "%1 ist %3 hinsichlich %2 %n{nicht}") relations-de.txt 767-767
(format hi orientation "%1 %2 ke %3 dishaasthita %n hain") relations-hindi.txt 242-242
(format ro orientation "%1 %n{nu} este %3 faþã de %2") relations-ro.kif 373-373
(format sv orientation "%1 är %n{inte} %3 till %2") relations-sv.txt 389-389
(format tg orientation "%1 %n ay %3 sa %2") relations-tg.txt 390-390
(termFormat ChineseLanguage orientation "定向") chinese_format.kif 587-587
(termFormat ChineseLanguage orientation "方位") domainEnglishFormat.kif 42582-42582
(termFormat ChineseTraditionalLanguage orientation "方位") domainEnglishFormat.kif 42581-42581
(termFormat EnglishLanguage orientation "orientation") domainEnglishFormat.kif 42580-42580
(termFormat tg orientation "banda") relations-tg.txt 391-391

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 9119-9122 方位 Object, Object and 部分位於 Object and Object
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17103-17107 方位 Object, Object and 方位 Object, Object and 連接的 Object and Object
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17091-17095 方位 Object, Object and 下面 方位 Object, Object and 方位 Object, Object and 以上
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17028-17030 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17045-17047 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17018-17020 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3653-3657 方位 Object, Object and 東北 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3688-3692 方位 Object, Object and 西北 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17124-17126 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3664-3668 方位 Object, Object and 東南 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3676-3680 方位 Object, Object and 西南 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17036-17038 方位 Object, Object and 垂直 方位 Object, Object and 垂直
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))
Anatomy.kif 1838-1860
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))
Anatomy.kif 1862-1884
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))
Anatomy.kif 1799-1807
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Supine)
                (orientation ?H ?O On)))
        (equal ?B
            (BackFn ?H)))
    (meetsSpatially ?B ?O))
Anatomy.kif 1814-1821
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A Attaching)
                (agent ?A ?H)
                (destination ?A ?P)))))
Medicine.kif 44-59
(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 6126-6131
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 17004-17009
(=>
    (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 2537-2550
(=>
    (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 2566-2580
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))
Merge.kif 17065-17069
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))
Merge.kif 17054-17058
(=>
    (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 6152-6161
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))
Merge.kif 11352-11357

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 3731-3733 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3755-3757 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3739-3741 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3759-3761 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3743-3745 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3763-3765 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3747-3749 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3751-3753 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3735-3737 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17103-17107 方位 Object, Object and 方位 Object, Object and 連接的 Object and Object
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17091-17095 方位 Object, Object and 下面 方位 Object, Object and 方位 Object, Object and 以上
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17028-17030 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17045-17047 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17018-17020 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3653-3657 方位 Object, Object and 東北 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3688-3692 方位 Object, Object and 西北 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17124-17126 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3664-3668 方位 Object, Object and 東南 方位 Object, Object and 方位 Object, Object and
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3676-3680 方位 Object, Object and 西南 方位 Object, Object and 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17036-17038 方位 Object, Object and 垂直 方位 Object, Object and 垂直
(=>
    (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 7714-7716
(=>
    (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 2693-2704
(=>
    (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 2665-2676
(=>
    (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 4078-4095

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 方位 非洲, 北美 and 東南
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 方位 非洲, 南美洲 and 東北
(orientation Asia Oceania Northwest) Geography.kif 281-281 方位 亞洲, 大洋洲 and 西北
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 方位 加勒比地區, 北美 and
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 方位 加勒比地區, 南美洲 and
(orientation Europe Africa North) Geography.kif 275-275 方位 歐洲, 非洲 and
(orientation Europe Asia West) Geography.kif 276-276 方位 歐洲, 亞洲 and 西方
(orientation Europe NorthAmerica East) Geography.kif 277-277 方位 歐洲, 北美 and
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 方位 歐洲, 南美洲 and 東北
(orientation Ireland Wales West) Geography.kif 6966-6966 方位 愛爾蘭, Wales and 西方
(orientation IsleOfMan NorthernIreland East) Geography.kif 6965-6965 方位 人島, 北愛爾蘭 and
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 方位 中美洲, 北美 and
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 方位 中美洲, 南美洲 and
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 方位 中東地區, 非洲 and 東北
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 方位 中東地區, 亞洲 and 西南
(orientation NorthAmerica Asia East) Geography.kif 279-279 方位 北美, 亞洲 and
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 方位 北美, 南美洲 and
(orientation NorthernIreland England Northwest) Geography.kif 6954-6954 方位 北愛爾蘭, England and 西北
(orientation NorthernIreland Scotland Southwest) Geography.kif 6953-6953 方位 北愛爾蘭, 蘇格蘭 and 西南
(orientation NorthernIreland Wales Northwest) Geography.kif 6963-6963 方位 北愛爾蘭, Wales and 西北
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 方位 大洋洲, 北美 and 西南
(orientation Scotland England North) Geography.kif 6951-6951 方位 蘇格蘭, England and
(orientation Scotland Wales North) Geography.kif 6964-6964 方位 蘇格蘭, Wales and
(orientation Wales England West) Geography.kif 6961-6961 方位 Wales, England and 西方


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 3.0 is open source software produced by Articulate Software and its partners