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 Le nombre 1 argument de orientation est une instance de objet
(domain orientation 2 Object) Merge.kif 17088-17088 Le nombre 2 argument de orientation est une instance de objet
(domain orientation 3 PositionalAttribute) Merge.kif 17089-17089 Le nombre 3 argument de orientation est une instance de attribut positionnel
(instance orientation SpatialRelation) Merge.kif 17085-17085 orientation est une instance de relation spatial
(instance orientation TernaryPredicate) Merge.kif 17086-17086 orientation est une instance de pr�dicat ternaire

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 Objet est Outside objet objet est partiellement localis� � objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17278-17282 Objet est Adjacent objet objet est Near objet objet est connect� � objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17266-17270 Objet est Below objet objet est On objet objet est Above objet
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17203-17205 Objet est East objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17220-17222 Objet est Horizontal objet objet est Horizontal objet
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17193-17195 Objet est North objet objet est South objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3778-3782 Objet est Northeast objet objet est North objet objet est East objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3813-3817 Objet est Northwest objet objet est North objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17299-17301 Objet est Right objet objet est Left objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3789-3793 Objet est Southeast objet objet est South objet objet est East objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3801-3805 Objet est Southwest objet objet est South objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17211-17213 Objet est Vertical objet objet est Vertical objet
(=>
    (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 6396-6401
(=>
    (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 3222-3235
(=>
    (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 3251-3265
(=>
    (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 6422-6431
(=>
    (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 3856-3858 courseWRTTrueNorth objet, objet and 0.0 AngularDegree(s) objet est North objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3880-3882 courseWRTTrueNorth objet, objet and 135.0 AngularDegree(s) objet est Southeast objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3864-3866 courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3884-3886 courseWRTTrueNorth objet, objet and 225.0 AngularDegree(s) objet est Southwest objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3868-3870 courseWRTTrueNorth objet, objet and 270.0 AngularDegree(s) objet est West objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3888-3890 courseWRTTrueNorth objet, objet and 315.0 AngularDegree(s) objet est Northwest objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3872-3874 courseWRTTrueNorth objet, objet and 360.0 AngularDegree(s) objet est North objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3876-3878 courseWRTTrueNorth objet, objet and 45.0 AngularDegree(s) objet est Northeast objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3860-3862 courseWRTTrueNorth objet, objet and 90.0 AngularDegree(s) objet est East objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17278-17282 Objet est Adjacent objet objet est Near objet objet est connect� � objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17266-17270 Objet est Below objet objet est On objet objet est Above objet
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17203-17205 Objet est East objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17220-17222 Objet est Horizontal objet objet est Horizontal objet
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17193-17195 Objet est North objet objet est South objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3778-3782 Objet est Northeast objet objet est North objet objet est East objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3813-3817 Objet est Northwest objet objet est North objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17299-17301 Objet est Right objet objet est Left objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3789-3793 Objet est Southeast objet objet est South objet objet est East objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3801-3805 Objet est Southwest objet objet est South objet objet est West objet
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17211-17213 Objet est Vertical objet objet est Vertical objet
(=>
    (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 Africa NorthAmerica Southeast) Geography.kif 282-282 Africa est SoutheastNorthAmerica
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 Africa est NortheastSouthAmerica
(orientation Alaska BritishColumbia Northwest) Geography.kif 423-423 Alaska est NorthwestBritishColumbia
(orientation Asia Oceania Northwest) Geography.kif 281-281 Asia est NorthwestOceania
(orientation AtlanticOcean SaharaDesert West) Geography.kif 6920-6920 AtlanticOcean est WestSaharaDesert
(orientation AtlanticOcean Sahel West) Geography.kif 6939-6939 AtlanticOcean est WestSahel
(orientation AtlanticOcean SouthernFrance West) Geography.kif 342-342 AtlanticOcean est WestSouthernFrance
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 CaribbeanRegion est SouthNorthAmerica
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegion est NorthSouthAmerica
(orientation Europe Africa North) Geography.kif 275-275 Europe est NorthAfrica
(orientation Europe Asia West) Geography.kif 276-276 Europe est WestAsia
(orientation Europe NorthAmerica East) Geography.kif 277-277 Europe est EastNorthAmerica
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 Europe est NortheastSouthAmerica
(orientation Idaho BritishColumbia South) Geography.kif 419-419 Idaho est SouthBritishColumbia
(orientation Ireland Wales West) Geography.kif 7270-7270 Ireland est WestWales
(orientation IsleOfMan NorthernIreland East) Geography.kif 7269-7269 IsleOfMan est EastNorthernIreland
(orientation Italy SouthernFrance East) Geography.kif 344-344 Italy est EastSouthernFrance
(orientation LevantRegion MediterraneanRegion West) Geography.kif 309-309 LevantRegion est WestMediterraneanRegion
(orientation MediterraneanSea GulfOfLion South) Geography.kif 5415-5415 MediterraneanSea est SouthGulfOfLion
(orientation MediterraneanSea MediterraneanRegion Surrounded) Geography.kif 5017-5017 MediterraneanSea est SurroundedMediterraneanRegion
(orientation MediterraneanSea SaharaDesert North) Geography.kif 6918-6918 MediterraneanSea est NorthSaharaDesert
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 MiddleAmerica est SouthNorthAmerica
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmerica est NorthSouthAmerica
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 MiddleEastRegion est NortheastAfrica
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 MiddleEastRegion est SouthwestAsia

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