Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FlightRudder
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FlightRudder Rudder) | Transportation.kif 3635-3635 | Flight rudder is a subclass of rudder |
| (subclass FlightRudder FlightControlSurfaces) | Transportation.kif 3636-3636 | Flight rudder is a subclass of flight control surface |
| (documentation FlightRudder EnglishLanguage "The FlightRudder is typically mounted on the trailing edge of the vertical stabilizer, part of the empennage. When the pilot pushes the left pedal, the rudder deflects left. Pushing the right pedal causes the rudder to deflect right. Deflecting the rudder right pushes the tail left and causes the nose to yaw to the right. Centering the rudder pedals returns the rudder to neutral and stops the yaw.[Wikipedia]") | Transportation.kif 3637-3642 | Flight rudder is a subclass of flight control surface |
| (partTypes FlightRudder VerticalStabilizer) | Transportation.kif 3644-3644 | Every flight rudder is a part of a vertical stabilizer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlightRudder "flight rudder") | Transportation.kif 3643-3643 |
| antecedent |
|
|
| (=> (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 ?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 |
|