Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Right(right of) |  | dextral, dextrorsal, dextrorse, far, right, right-hand, right-side-out, right-side-up, right_stage, stage_right, starboard |
| appearance as argument number 1 |
|
|
| (instance Right PositionalAttribute) | Merge.kif 17470-17470 | Right of is an instance of positional attribute |
| (instance Right AntiSymmetricPositionalAttribute) | Merge.kif 17471-17471 | Right of is an instance of anti_symmetric positional attribute |
| (contraryAttribute Right Left) | Merge.kif 17472-17472 | Right of is the opposite of left of |
| (documentation Right EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the right, so that, if one object is to the right of another, then the projections of the two objects overlap.") | Merge.kif 17473-17476 | Right of is the opposite of left of |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 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 |
| (=> (and (transverseAxis ?V ?O) (instance ?O Aircraft) (side ?L ?O) (side ?R ?O) (orientation ?L ?R Left) (orientation ?R ?L Right) (centerOfMass ?C ?O) (part ?L ?V) (part ?R ?V) (part ?C ?V)) (between ?C ?L ?R)) |
Mid-level-ontology.kif 19386-19398 | If All of the following hold: (1) X is the transverseAxis of Y (2) Y is an instance of aircraft (3) a side of Y is Z (4) a side of Y is W (5) Z is left of to W (6) W is right of to Z (7) V is the centerOfMass of Y (8) Z is a part of X (9) W is a part of X (10) V is a part of X, then Z is between V and W |
| (=> (and (instance ?F Flying) (patient ?F ?P) (instance ?P Airplane) (part ?RW ?P) (instance ?RW FlightWing) (side ?RW ?P) (orientation ?RW ?P Right) (instance ?RA Aileron) (located ?RA ?RW) (instance ?D MotionDownward) (moves ?D ?RA)) (holdsDuring (WhenFn ?D) (exists (?U) (and (instance ?U MotionUpward) (moves ?U ?RW) (causes ?D ?U))))) |
Transportation.kif 3459-3477 | If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is right of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion downward (11) W moves during V, then there exists U such that U is an instance of motion upward, Z moves during U, and V causes U holds during the time of existence of V |
| (=> (and (instance ?M Motion) (moves ?M ?R) (instance ?R FlightRudder) (part ?R ?P) (instance ?P Airplane) (direction ?M Right)) (exists (?X) (and (yaw ?P (MeasureFn ?X AngularDegree)) (greaterThan ?X 0)))) |
Transportation.kif 3646-3657 | If All of the following hold: (1) X is an instance of motion (2) Y moves during X (3) Y is an instance of flight rudder (4) Y is a part of Z (5) Z is an instance of airplane (6) entities in the process X are moving right of, then there exists W such that Z is heading at W angular degree(s) of its longitudinalAxis. and W is greater than 0 |
| (=> (and (instance ?B Winking) (patient ?B ?E) (or (instance ?E (BodySideFn Left Eye)) (instance ?E (BodySideFn Right Eye)))) (exists (?T) (and (holdsDuring ?T (attribute ?E Closed)) (during (WhenFn ?B) ?T) (holdsDuring (ImmediatePastFn (WhenFn ?B)) (attribute ?E Open)) (holdsDuring (ImmediateFutureFn (WhenFn ?B)) (attribute ?E Open))))) |
emotion.kif 2017-2039 | If X is an instance of winking, Y is a patient of X, and Y is an instance of the left of eye or Y is an instance of the right of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X |
| consequent |
|
|
| statement |
|
|
|