Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - orientation
orientation

appearance as argument number 1
-------------------------


(instance orientation SpatialRelation) Merge.kif 17264-17264
(instance orientation TernaryPredicate) Merge.kif 17265-17265
(domain orientation 1 Object) Merge.kif 17266-17266
(domain orientation 2 Object) Merge.kif 17267-17267
(domain orientation 3 PositionalAttribute) Merge.kif 17268-17268
(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 17269-17273

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage orientation "orientation") domainEnglishFormat.kif 42575-42575
(termFormat ChineseTraditionalLanguage orientation "方位") domainEnglishFormat.kif 42576-42576
(termFormat ChineseLanguage orientation "方位") domainEnglishFormat.kif 42577-42577
(format EnglishLanguage orientation "%1 is %n %3 to %2") english_format.kif 590-590

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


(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O On))
    (objectTransferred ?T ?O2))		 Merge.kif 11635-11640
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (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 15462-15483
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?ATTR1)
        (contraryAttribute @ROW)
        (inList ?ATTR1
            (ListFn @ROW))
        (inList ?ATTR2
            (ListFn @ROW))
        (not
            (equal ?ATTR1 ?ATTR2)))
    (not
        (orientation ?OBJ1 ?OBJ2 ?ATTR2)))		 Merge.kif 17275-17283
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))		 Merge.kif 17285-17289
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 17358-17363
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17372-17374
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17382-17384
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17390-17392
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17399-17401
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))		 Merge.kif 17408-17412
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))		 Merge.kif 17419-17423
(=>
    (orientation ?OBJ1 ?OBJ2 Above)
    (not
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17433-17436
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17445-17449
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17457-17461
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17478-17480
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (not
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17486-17489
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))		 Merge.kif 17491-17493
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (connected ?OBJ1 ?OBJ2))		 Merge.kif 17500-17502
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (located ?OBJ1 ?OBJ2))		 Merge.kif 17504-17506
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))		 Merge.kif 17508-17511
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))		 Mid-level-ontology.kif 10461-10466
(=>
    (orientation ?OBJ1 ?OBJ2 Inside)
    (located ?OBJ1 ?OBJ2))		 Mid-level-ontology.kif 10468-10470
(=>
    (orientation ?THING ?O Inside)
    (and
        (interiorPart ?PART ?O)
        (located ?THING ?PART)))		 Mid-level-ontology.kif 10472-10476
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 10484-10486
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 10488-10490

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))		 Merge.kif 7891-7893
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))		 Merge.kif 7915-7917
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9942-9947
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9957-9962
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))		 Merge.kif 9972-9979
(=>
    (and
        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))		 Merge.kif 11863-11868
(=>
    (and
        (instance ?MEET Meeting)
        (agent ?MEET ?AGENT1)
        (agent ?MEET ?AGENT2))
    (holdsDuring
        (WhenFn ?MEET)
        (orientation ?AGENT1 ?AGENT2 Near)))		 Merge.kif 13590-13597
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?ATTR1)
        (contraryAttribute @ROW)
        (inList ?ATTR1
            (ListFn @ROW))
        (inList ?ATTR2
            (ListFn @ROW))
        (not
            (equal ?ATTR1 ?ATTR2)))
    (not
        (orientation ?OBJ1 ?OBJ2 ?ATTR2)))		 Merge.kif 17275-17283
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))		 Merge.kif 17285-17289
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17372-17374
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17382-17384
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17390-17392
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17399-17401
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))		 Merge.kif 17408-17412
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))		 Merge.kif 17419-17423
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17445-17449
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17457-17461
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17478-17480
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))		 Merge.kif 17491-17493
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))		 Merge.kif 17508-17511
(=>
    (and
        (instance ?M Mounting)
        (agent ?M ?A)
        (patient ?M ?O))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?M))
            (not
                (orientation ?A ?O On)))
        (holdsDuring
            (EndFn
                (WhenFn ?M))
            (orientation ?A ?O On))))		 Mid-level-ontology.kif 452-463
(=>
    (instance ?G Shotgun)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (attribute ?P Smooth))))		 Mid-level-ontology.kif 2012-2020
(=>
    (instance ?G Rifle)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (not
                (attribute ?P Smooth)))))		 Mid-level-ontology.kif 2029-2038
(=>
    (instance ?SHOWER Shower)
    (exists (?X ?FLOOR)
        (and
            (or
                (instance ?X Wall)
                (instance ?X Ceiling))
            (connected ?SHOWER ?X)
            (instance ?FLOOR Floor)
            (orientation ?SHOWER ?FLOOR Above))))		 Mid-level-ontology.kif 2636-2645
(=>
    (instance ?X BunkBed)
    (exists (?BED1 ?BED2)
        (and
            (instance ?BED1 SingleBed)
            (instance ?BED2 SingleBed)
            (part ?BED1 ?X)
            (part ?BED2 ?X)
            (orientation ?BED1 ?BED2 Above))))		 Mid-level-ontology.kif 4524-4532

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(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 NorthAmerica SouthAmerica North) Geography.kif 278-278
(orientation NorthAmerica Asia East) Geography.kif 279-279
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280
(orientation Asia Oceania Northwest) Geography.kif 281-281
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290
(orientation LevantRegion MediterraneanRegion West) Geography.kif 309-309
(orientation SouthernFrance GulfOfLion North) Geography.kif 338-338
(orientation AtlanticOcean SouthernFrance West) Geography.kif 342-342
(orientation Spain SouthernFrance South) Geography.kif 343-343
(orientation Italy SouthernFrance East) Geography.kif 344-344
(orientation Oregon RockyMountains West) Geography.kif 366-366
(orientation Nevada RockyMountains West) Geography.kif 367-367
(orientation California RockyMountains West) Geography.kif 368-368
(orientation Arizona RockyMountains West) Geography.kif 369-369

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners