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 17090-17094
(domain orientation 1 Object) Merge.kif 17087-17087 The number 1 argument of orientation is an instance of object
(domain orientation 2 Object) Merge.kif 17088-17088 The number 2 argument of orientation is an instance of object
(domain orientation 3 PositionalAttribute) Merge.kif 17089-17089 The number 3 argument of orientation is an instance of positional attribute
(instance orientation SpatialRelation) Merge.kif 17085-17085 orientation is an instance of spatial relation
(instance orientation TernaryPredicate) Merge.kif 17086-17086 orientation is an instance of ternary predicate

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 42584-42584
(termFormat ChineseTraditionalLanguage orientation "方位") domainEnglishFormat.kif 42583-42583
(termFormat EnglishLanguage orientation "orientation") domainEnglishFormat.kif 42582-42582
(termFormat de orientation "lagebestimmung") terms-de.txt 228-228
(termFormat tg orientation "banda") relations-tg.txt 391-391

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))		 Mid-level-ontology.kif 10325-10328 An object is outside to another object if and only if the object is not partly located in the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17278-17282 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17266-17270 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17203-17205 An object is east to another object if and only if the other object is west to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17220-17222 An object is horizontal to another object if and only if the other object is horizontal to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17193-17195 An object is north to another object if and only if the other object is south to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3811-3815 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3846-3850 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17299-17301 An object is right to another object if and only if the other object is left to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3822-3826 An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3834-3838 An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17211-17213 An object is vertical to another object if and only if the other object is vertical to the object
(=>
    (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 1873-1895
(=>
    (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 1897-1919
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))		 Anatomy.kif 1834-1842
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Supine)
                (orientation ?H ?O On)))
        (equal ?B
            (BackFn ?H)))
    (meetsSpatially ?B ?O))		 Anatomy.kif 1849-1856
(=>
    (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 ApplyingTourniquet)
                (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 6429-6434
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 17179-17184
(=>
    (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 3261-3274
(=>
    (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 3290-3304
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))		 Merge.kif 17240-17244
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))		 Merge.kif 17229-17233
(=>
    (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 6455-6464
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))		 Merge.kif 11502-11507

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 3889-3891 An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3913-3915 An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3897-3899 An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3917-3919 An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3901-3903 An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3921-3923 An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3905-3907 An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3909-3911 An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3893-3895 An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17278-17282 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17266-17270 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17203-17205 An object is east to another object if and only if the other object is west to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17220-17222 An object is horizontal to another object if and only if the other object is horizontal to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17193-17195 An object is north to another object if and only if the other object is south to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3811-3815 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3846-3850 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17299-17301 An object is right to another object if and only if the other object is left to the object
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3822-3826 An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3834-3838 An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17211-17213 An object is vertical to another object if and only if the other object is vertical to the object
(=>
    (adjacentOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Adjacent))))		 Hotel.kif 947-952
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))		 Merge.kif 7796-7798
(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))		 Transportation.kif 4203-4227
(=>
    (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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(orientation
    (SeacoastFn SouthAmerica PacificOcean) AndesMountains West)		 Geography.kif 396-397 The seacoast of south america is west to Andes Mountains
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 Africa is southeast to north america
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 Africa is northeast to south america
(orientation Alaska BritishColumbia Northwest) Geography.kif 456-456 Alaska is northwest to British Columbia
(orientation Arizona RockyMountains West) Geography.kif 368-368 Arizona is west to Rocky Mountains
(orientation Asia Oceania Northwest) Geography.kif 281-281 Asia is northwest to oceania
(orientation AtlanticOcean SaharaDesert West) Geography.kif 6953-6953 Atlantic ocean is west to Sahara Desert
(orientation AtlanticOcean Sahel West) Geography.kif 6972-6972 Atlantic ocean is west to Sahel
(orientation AtlanticOcean SouthernFrance West) Geography.kif 342-342 Atlantic ocean is west to Southern France
(orientation California RockyMountains West) Geography.kif 367-367 California is west to Rocky Mountains
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 Caribbean region is south to north america
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 Caribbean region is north to south america
(orientation Europe Africa North) Geography.kif 275-275 Europe is north to africa
(orientation Europe Asia West) Geography.kif 276-276 Europe is west to asia
(orientation Europe NorthAmerica East) Geography.kif 277-277 Europe is east to north america
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 Europe is northeast to south america
(orientation Idaho BritishColumbia South) Geography.kif 452-452 Idaho is south to British Columbia
(orientation Ireland Wales West) Geography.kif 7303-7303 Ireland is west to Wales
(orientation IsleOfMan NorthernIreland East) Geography.kif 7302-7302 Isle of man is east to northern ireland
(orientation Italy SouthernFrance East) Geography.kif 344-344 Italy is east to Southern France
(orientation LevantRegion MediterraneanRegion West) Geography.kif 309-309 Levant Region is west to Mediterranean Region
(orientation MediterraneanSea GulfOfLion South) Geography.kif 5448-5448 Mediterranean sea is south to Gulf Of Lion
(orientation MediterraneanSea MediterraneanRegion Surrounded) Geography.kif 5050-5050 Mediterranean sea is surrounded to Mediterranean Region
(orientation MediterraneanSea SaharaDesert North) Geography.kif 6951-6951 Mediterranean sea is north to Sahara Desert
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 Middle america is south to north america

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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