Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Left(left of)
|  | dexter, larboard, left, left-hand, left_stage, near, nigh, port, sinister, sinistral, sinistrorsal, sinistrorse, stage_left |
| appearance as argument number 1 |
|
|
| (instance Left PositionalAttribute) | Merge.kif 17463-17463 | Left of is an instance of positional attribute |
| (instance Left AntiSymmetricPositionalAttribute) | Merge.kif 17464-17464 | Left of is an instance of anti_symmetric positional attribute |
| (documentation Left EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the left, so that, if one object is to the left of another, then the projections of the two objects overlap.") | Merge.kif 17465-17468 | Left of is an instance of anti_symmetric positional attribute |
| (externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") | pictureList.kif 10092-10092 | Left of is an instance of anti_symmetric positional attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Right Left) | Merge.kif 17472-17472 | Right of is the opposite of left of |
| (termFormat EnglishLanguage Left "left of") | domainEnglishFormat.kif 33763-33763 | Right of is the opposite of left of |
| (termFormat ChineseTraditionalLanguage Left "左") | domainEnglishFormat.kif 33764-33764 | Right of is the opposite of left of |
| (termFormat ChineseLanguage Left "左") | domainEnglishFormat.kif 33765-33765 | Right of is the opposite of left of |
| 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 |
| (=> (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 ?LW ?P) (instance ?LW FlightWing) (side ?LW ?P) (orientation ?LW ?P Left) (instance ?LA Aileron) (located ?LA ?LW) (instance ?U MotionUpward) (moves ?U ?LA)) (holdsDuring (WhenFn ?U) (exists (?D) (and (instance ?D MotionDownward) (moves ?D ?LW) (causes ?U ?D))))) |
Transportation.kif 3439-3457 | 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 left of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion upward (11) W moves during V, then there exists U such that U is an instance of motion downward, 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 Left)) (exists (?X) (and (yaw ?P (MeasureFn ?X AngularDegree)) (lessThan ?X 0)))) |
Transportation.kif 3659-3670 | 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 left of, then there exists W such that Z is heading at W angular degree(s) of its longitudinalAxis. and W is less 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 |
|
|
|