Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Aileron(aileron) |
| appearance as argument number 1 |
|
| (subclass Aileron FlightControlSurfaces) | Transportation.kif 3373-3373 | Aileron is a subclass of flight control surface |
| (documentation Aileron EnglishLanguage "An aileron is a hinged flight control surface usually forming part of the trailing edge of each wing of a fixed-wing aircraft.Ailerons are mounted on the trailing edge of each wing near the wingtips and move in opposite directions. When the pilot moves the aileron control to the left, or turns the wheel counter-clockwise, the left aileron goes up and the right aileron goes down. A raised aileron reduces lift on that wing and a lowered one increases lift, so moving the aileron control in this way causes the left wing to drop and the right wing to rise. This causes the aircraft to roll to the left and begin to turn to the left. Centering the control returns the ailerons to the neutral position, maintaining the bank angle. The aircraft will continue to turn until opposite aileron motion returns the bank angle to zero to fly straight.[Wikipedia]") | Transportation.kif 3374-3385 | Aileron is a subclass of flight control surface |
| (partTypes Aileron FlightWing) | Transportation.kif 3387-3387 | Every aileron is a part of a flight wing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Aileron "aileron") | Transportation.kif 3386-3386 |
| antecedent |
|
|
| (=> (instance ?A Aileron) (exists (?P ?B) (and (instance ?P Pair) (member ?A ?P) (member ?B ?P) (not (equal ?A ?B)) (orientation ?A ?B Horizontal)))) |
Transportation.kif 3389-3398 | If X is an instance of aileron, 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 ?A Aileron) (member ?A ?P) (instance ?P Pair) (member ?B ?P) (not (equal ?A ?B))) (exists (?W) (and (instance ?W Flightwing) (located ?A ?W) (located ?B ?W) (orientation ?A ?B Left) (orientation ?B ?A Right)))) |
Transportation.kif 3400-3414 | If X is an instance of aileron, 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 Flightwing, 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 Aileron) (member ?LA ?P) (instance ?M1 Motion) (moves ?M1 ?LA) (direction ?M1 ?DIR1) (member ?RA ?P) (instance ?M2 Motion) (not (equal ?M1 ?M2)) (moves ?M2 ?RA) (direction ?M2 ?DIR2) (not (exists (?L) (and (instance ?L Landing) (patient ?L ?F))))) (oppositeDirection ?DIR1 ?DIR2)) |
Transportation.kif 3416-3437 | 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) aileron 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 (14) there doesn't exist R such that R is an instance of landing and Y is a patient of R, then S is an opposite direction of V |
| (=> (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 ?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 (roll ?P (MeasureFn 0 AngularDegree)) (instance ?P Airplane) (part ?A ?P) (instance ?A Aileron)) (not (exists (?M) (and (instance ?M Motion) (moves ?M ?A))))) |
Transportation.kif 3601-3611 | If X is rolling at 0 angular degree(s) of its longitudinalAxis., X is an instance of airplane, Y is a part of X, and Y is an instance of aileron, then there doesn't exist Z such that Z is an instance of motion and Y moves during Z |
|