Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MotionDownward(motion downward) |  | droop, drop, drop_down, duck, fall, flag, flow, hang, pounce, sag, sink, stoop, subside, swag, swoop |
| appearance as argument number 1 |
|
|
| (subclass MotionDownward Motion) | Merge.kif 11317-11317 | Motion downward is a subclass of motion |
| (documentation MotionDownward EnglishLanguage "Motion where an Object is moving toward the ground.") | Merge.kif 11319-11320 | Motion downward is a subclass of motion |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?E ?P) (instance ?M MotionDownward) (moves ?M ?E) (holdsDuring (BeginFn (WhenFn ?M)) (pitch ?F (MeasureFn ?X AngularDegree))) (holdsDuring (EndFn (WhenFn ?M)) (pitch ?F (MeasureFn ?Y AngularDegree)))) (lessThan ?X ?Y)) |
Transportation.kif 3568-3581 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion downward (7) Z moves during W (8) Y is heading at V angular degree(s) degree from its level of plane axis. holds during the beginning of the time of existence of W (9) Y is heading at U angular degree(s) degree from its level of plane axis. holds during the end of the time of existence of W, then V is less than U |
| consequent |
|
|
|