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


KB Term:  Term intersection
English Word: 

  orientation

 Sigma KEE - orientation
orientation

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


(instance orientation SpatialRelation) Merge.kif 17264-17264 orientation is an instance of spatial relation
(instance orientation TernaryPredicate) Merge.kif 17265-17265 orientation is an instance of ternary predicate
(domain orientation 1 Object) Merge.kif 17266-17266 The number 1 argument of orientation is an instance of object
(domain orientation 2 Object) Merge.kif 17267-17267 The number 2 argument of orientation is an instance of object
(domain orientation 3 PositionalAttribute) Merge.kif 17268-17268 The number 3 argument of orientation is an instance of positional attribute
(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 The number 3 argument of orientation is an instance of positional attribute

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 If X is an instance of transfer, the object transferred in X is Y, and Z is on to Y, then the object transferred in X is Z
(=>
    (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 If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely
(=>
    (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 If X is Y to Z, @ROW is the opposite of, Y is a member of (@ROW), V is a member of (@ROW), and equal Y and V, then X is not V to Z
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))		 Merge.kif 17285-17289 If X is right of to Y and Z is left of to Y, then X is right of to Z
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 17358-17363 If X is an instance of directional attribute, Y is X to Z, and Z is X to W, then Z is between Y and W
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17372-17374 X is north of to Y if and only if Y is south of to X
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17382-17384 X is east of to Y if and only if Y is west of to X
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17390-17392 X is vertical to to Y if and only if Y is vertical to to X
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17399-17401 X is horizontal to to Y if and only if Y is horizontal to to X
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))		 Merge.kif 17408-17412 If X is an instance of symmetric positional attribute and Y is X to Z, then Z is X to Y
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))		 Merge.kif 17419-17423 If X is an instance of anti_symmetric positional attribute and Y is X to Z, then Z is not X to Y
(=>
    (orientation ?OBJ1 ?OBJ2 Above)
    (not
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17433-17436 If X is above to Y, then X is not connected to Y
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17445-17449 X is below to Y if and only if Y is on to X or Y is above to X
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17457-17461 X is adjacent to Y if and only if X is near to Y or X is connected to Y
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17478-17480 X is right of to Y if and only if Y is left of to X
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (not
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17486-17489 If X is near to Y, then X is not connected to Y
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))		 Merge.kif 17491-17493 If X is near to Y, then Y is near to X
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (connected ?OBJ1 ?OBJ2))		 Merge.kif 17500-17502 If X is on to Y, then X is connected to Y
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (located ?OBJ1 ?OBJ2))		 Merge.kif 17504-17506 If X is on to Y, then X is located at Y
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))		 Merge.kif 17508-17511 If X is on to Y, then Y is not on to X
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))		 Mid-level-ontology.kif 10461-10466 If X is an instance of transfer, the object transferred in X is Y, and Z is inside the to Y, then the object transferred in X is Z
(=>
    (orientation ?OBJ1 ?OBJ2 Inside)
    (located ?OBJ1 ?OBJ2))		 Mid-level-ontology.kif 10468-10470 If X is inside the to Y, then X is located at Y
(=>
    (orientation ?THING ?O Inside)
    (and
        (interiorPart ?PART ?O)
        (located ?THING ?PART)))		 Mid-level-ontology.kif 10472-10476 If X is inside the to Y, then Z is a interior part of Y and X is located at Z
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 10484-10486 If X is outside of to Y, then Y is an instance of region
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 10488-10490 If X is inside the to Y, then Y is an instance of region

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 If the altitude of X relative to Y is Z, then X is above to Y
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))		 Merge.kif 7915-7917 If the depth from X to Y is Z, then X is below to Y
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9942-9947 If the bottom of X is Y, Z is a part of X, and Z is not connected to Y, then Z is above to Y
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9957-9962 If the top of X is Y, Z is a part of X, and Z is not connected to Y, then Z is below to Y
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))		 Merge.kif 9972-9979 If a side of X is Y, Z is a part of X, and Z is not connected to Y, then there exists W such that Y is W to Z
(=>
    (and
        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))		 Merge.kif 11863-11868 If X is an instance of falling, X originates at Y, and X ends up at Z, then Z is below to Y
(=>
    (and
        (instance ?MEET Meeting)
        (agent ?MEET ?AGENT1)
        (agent ?MEET ?AGENT2))
    (holdsDuring
        (WhenFn ?MEET)
        (orientation ?AGENT1 ?AGENT2 Near)))		 Merge.kif 13590-13597 If X is an instance of meeting, Y is an agent of X, and Z is an agent of X, then Y is near to Z holds during the time of existence of X
(=>
    (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 If X is Y to Z, @ROW is the opposite of, Y is a member of (@ROW), V is a member of (@ROW), and equal Y and V, then X is not V to Z
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))		 Merge.kif 17285-17289 If X is right of to Y and Z is left of to Y, then X is right of to Z
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17372-17374 X is north of to Y if and only if Y is south of to X
(<=>
    (orientation ?OBJ1 ?OBJ2 East)
    (orientation ?OBJ2 ?OBJ1 West))		 Merge.kif 17382-17384 X is east of to Y if and only if Y is west of to X
(<=>
    (orientation ?OBJ1 ?OBJ2 Vertical)
    (orientation ?OBJ2 ?OBJ1 Vertical))		 Merge.kif 17390-17392 X is vertical to to Y if and only if Y is vertical to to X
(<=>
    (orientation ?OBJ1 ?OBJ2 Horizontal)
    (orientation ?OBJ2 ?OBJ1 Horizontal))		 Merge.kif 17399-17401 X is horizontal to to Y if and only if Y is horizontal to to X
(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))		 Merge.kif 17408-17412 If X is an instance of symmetric positional attribute and Y is X to Z, then Z is X to Y
(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))		 Merge.kif 17419-17423 If X is an instance of anti_symmetric positional attribute and Y is X to Z, then Z is not X to Y
(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17445-17449 X is below to Y if and only if Y is on to X or Y is above to X
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17457-17461 X is adjacent to Y if and only if X is near to Y or X is connected to Y
(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17478-17480 X is right of to Y if and only if Y is left of to X
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))		 Merge.kif 17491-17493 If X is near to Y, then Y is near to X
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))		 Merge.kif 17508-17511 If X is on to Y, then Y is not on to X
(=>
    (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 If X is an instance of mounting, Y is an agent of X, and Z is a patient of X, then Y is not on to Z holds during the beginning of the time of existence of X and Y is on to Z holds during the end of the time of existence of X
(=>
    (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 If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z
(=>
    (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 If X is an instance of rifle, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is not an attribute of Z
(=>
    (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 If X is an instance of shower, then there exist Y, Z such that Y is an instance of wall or Y is an instance of ceiling, X is connected to Y, Z is an instance of floor, and X is above to Z
(=>
    (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 If X is an instance of bunk bed, then there exist Y, Z such that Y is an instance of twin-sized bed, Z is an instance of twin-sized bed, Y is a part of X, Z is a part of X, and Y is above to Z

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 Europe is north of to africa
(orientation Europe Asia West) Geography.kif 276-276 Europe is west of to asia
(orientation Europe NorthAmerica East) Geography.kif 277-277 Europe is east of to north america
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 North america is north of to south america
(orientation NorthAmerica Asia East) Geography.kif 279-279 North america is east of to asia
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 Africa is northeast of to south america
(orientation Asia Oceania Northwest) Geography.kif 281-281 Asia is northwest of to oceania
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 Africa is southeast of to north america
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 Europe is northeast of to south america
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 Oceania is southwest of to north america
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 Middle east region is southwest of to asia
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 Middle east region is northeast of to africa
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 Middle america is north of to south america
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 Middle america is south of to north america
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 Caribbean region is north of to south america
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 Caribbean region is south of to north america
(orientation LevantRegion MediterraneanRegion West) Geography.kif 309-309 Levant Region is west of to Mediterranean Region
(orientation SouthernFrance GulfOfLion North) Geography.kif 338-338 Southern France is north of to Gulf Of Lion
(orientation AtlanticOcean SouthernFrance West) Geography.kif 342-342 Atlantic ocean is west of to Southern France
(orientation Spain SouthernFrance South) Geography.kif 343-343 Spain is south of to Southern France
(orientation Italy SouthernFrance East) Geography.kif 344-344 Italy is east of to Southern France
(orientation Oregon RockyMountains West) Geography.kif 366-366 Oregon is west of to Rocky Mountains
(orientation Nevada RockyMountains West) Geography.kif 367-367 Nevada is west of to Rocky Mountains
(orientation California RockyMountains West) Geography.kif 368-368 California is west of to Rocky Mountains
(orientation Arizona RockyMountains West) Geography.kif 369-369 Arizona is west of to Rocky Mountains

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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