Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FlightElevator(flight elevator) |
| appearance as argument number 1 |
|
| (subclass FlightElevator FlightControlSurfaces) | Transportation.kif 3496-3496 | Flight elevator is a subclass of flight control surface |
| (documentation FlightElevator EnglishLanguage "The FlightElevatoris a moveable part of the horizontal stabilizer, hinged to the back of the fixed part of the horizontal tail. The elevators move up and down together. When the pilot pulls the stick backward, the elevators go up. Pushing the stick forward causes the elevators to go down. Raised elevators push down on the tail and cause the nose to pitch up. This makes the wings fly at a higher angle of attack, which generates more lift and more drag. Centering the stick returns the elevators to neutral and stops the change of pitch.[Wikipedia]") | Transportation.kif 3497-3504 | Flight elevator is a subclass of flight control surface |
| (partTypes FlightElevator TailPlane) | Transportation.kif 3506-3506 | Every flight elevator is a part of a tail plane |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlightElevator "flight elevator") | Transportation.kif 3505-3505 |
| antecedent |
|
|
| (=> (instance ?E FlightElevator) (exists (?P ?F) (and (instance ?P Pair) (member ?E ?P) (member ?F ?P) (not (equal ?E ?F)) (orientation ?E ?F Horizontal)))) |
Transportation.kif 3508-3517 | If X is an instance of flight elevator, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pair (3) X is a member of Y (4) Z is a member of Y (5) equal X (6) Z (7) X is horizontal to to Z |
| (=> (and (instance ?E FlightElevator) (member ?E ?P) (instance ?P Pair) (member ?F ?P) (not (equal ?E ?F))) (exists (?T) (and (instance ?T TailPlane) (located ?E ?T) (located ?F ?T) (orientation ?E ?F Left) (orientation ?F ?E Right)))) |
Transportation.kif 3519-3533 | If X is an instance of flight elevator, X is a member of Y, Y is an instance of pair, Z is a member of Y, and equal X and Z, then there exists W such that W is an instance of tail plane, X is located at W, Z is located at W, X is left of to Z, and Z is right of to X |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?LE ?P) (instance ?M1 Motion) (moves ?M1 ?LE) (direction ?M1 ?DIR1) (member ?RE ?P) (instance ?M2 Motion) (not (equal ?M1 ?M2)) (moves ?M2 ?RE) (direction ?M2 ?DIR2)) (equal ?DIR1 ?DIR2)) |
Transportation.kif 3535-3551 | 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 (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S, then equal V and S |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?E ?P) (instance ?M MotionUpward) (moves ?M ?E) (holdsDuring (BeginFn (WhenFn ?M)) (pitch ?F (MeasureFn ?X AngularDegree))) (holdsDuring (EndFn (WhenFn ?M)) (pitch ?F (MeasureFn ?Y AngularDegree)))) (greaterThan ?X ?Y)) |
Transportation.kif 3553-3566 | 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 upward (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 greater than U |
| (=> (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 |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?E ?P) (holdsDuring ?T (pitch ?F (MeasureFn 0 AngularDegree)))) (holdsDuring ?T (not (exists (?M) (and (moves ?M ?E) (or (instance ?M MotionUpward) (instance ?M MotionDownward))))))) |
Transportation.kif 3583-3599 | 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) Y is heading at 0 angular degree(s) degree from its level of plane axis. holds during W, then there doesn't exist V such that Z moves during V and V is an instance of motion upward or V is an instance of motion downward holds during W |
|