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
(domain orientation 2 Object) Merge.kif 17088-17088
(domain orientation 3 PositionalAttribute) Merge.kif 17089-17089
(instance orientation SpatialRelation) Merge.kif 17085-17085
(instance orientation TernaryPredicate) Merge.kif 17086-17086

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
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17278-17282
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17266-17270
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17203-17205
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17220-17222
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17193-17195
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3811-3815
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3846-3850
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17299-17301
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3822-3826
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3834-3838
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17211-17213
(=>
    (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
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3913-3915
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3897-3899
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3917-3919
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3901-3903
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3921-3923
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3905-3907
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3909-3911
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3893-3895
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17278-17282
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17266-17270
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))
Merge.kif 17203-17205
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))
Merge.kif 17220-17222
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17193-17195
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3811-3815
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3846-3850
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17299-17301
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3822-3826
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3834-3838
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))
Merge.kif 17211-17213
(=>
    (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
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280
(orientation Alaska BritishColumbia Northwest) Geography.kif 456-456
(orientation Arizona RockyMountains West) Geography.kif 368-368
(orientation Asia Oceania Northwest) Geography.kif 281-281
(orientation AtlanticOcean SaharaDesert West) Geography.kif 6953-6953
(orientation AtlanticOcean Sahel West) Geography.kif 6972-6972
(orientation AtlanticOcean SouthernFrance West) Geography.kif 342-342
(orientation California RockyMountains West) Geography.kif 367-367
(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 Idaho BritishColumbia South) Geography.kif 452-452
(orientation Ireland Wales West) Geography.kif 7303-7303
(orientation IsleOfMan NorthernIreland East) Geography.kif 7302-7302
(orientation Italy SouthernFrance East) Geography.kif 344-344
(orientation LevantRegion MediterraneanRegion West) Geography.kif 309-309
(orientation MediterraneanSea GulfOfLion South) Geography.kif 5448-5448
(orientation MediterraneanSea MediterraneanRegion Surrounded) Geography.kif 5050-5050
(orientation MediterraneanSea SaharaDesert North) Geography.kif 6951-6951
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288

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