Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| roll |
| appearance as argument number 1 |
|
| (relatedInternalConcept roll yaw) | Transportation.kif 3263-3263 | roll is internally related to yaw |
| (instance roll BinaryPredicate) | Transportation.kif 3292-3292 | roll is an instance of binary predicate |
| (subrelation roll measure) | Transportation.kif 3293-3293 | roll is a subrelation of measure |
| (documentation roll EnglishLanguage "roll is the rotation around the longitudinalAxis. A positive rolling motion lifts the left wing and lowers the right wing. The pilot rolls by increasing the lift on one wing and decreasing it on the other. This changes the bank angle.The ailerons are the primary control of roll. The rudder also has a secondary effect on roll.It is measured as planeAngleMeasure between the vehicle's transverseAxis and its tangential LevelPlaneFn with the earth.[Wikipedia]") | Transportation.kif 3294-3299 | roll is a subrelation of measure |
| (domain roll 1 Vehicle) | Transportation.kif 3302-3302 | The number 1 argument of roll is an instance of vehicle |
| (domain roll 2 AngleMeasure) | Transportation.kif 3303-3303 | The number 2 argument of roll is an instance of angle measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage roll "roll") | Transportation.kif 3300-3300 | |
| (format EnglishLanguage roll "%1 is rolling at %2 of its longitudinalAxis.") | Transportation.kif 3301-3301 | |
| (relatedInternalConcept pitch roll) | Transportation.kif 3304-3304 | pitch is internally related to roll |
| antecedent |
|
|
| (=> (and (instance ?V Aircraft) (instance ?R Rotating) (patient ?R ?V) (rotationalAxis ?R ?A) (longitudinalAxis ?A ?V) (holdsDuring (BeginFn (WhenFn ?R)) (roll ?V ?X)) (holdsDuring (EndFn (WhenFn ?R)) (roll ?V ?Y))) (not (equal ?X ?Y))) |
Transportation.kif 3306-3318 | If All of the following hold: (1) X is an instance of aircraft (2) Y is an instance of rotating (3) X is a patient of Y (4) Z is the axis of Y (5) Z is the longitudinalAxis of X (6) X is rolling at W of its longitudinalAxis. holds during the beginning of the time of existence of Y (7) X is rolling at V of its longitudinalAxis. holds during the end of the time of existence of Y, then equal W and V |
| (=> (and (roll ?V (MeasureFn ?X AngularDegree)) (instance ?V Aircraft)) (exists (?A ?B) (and (transverseAxis ?A ?V) (centerOfMass ?B ?V) (planeAngleMeasure ?A (LevelPlaneFn ?B PlanetEarth) (MeasureFn ?X AngularDegree))))) |
Transportation.kif 3320-3330 | If X is rolling at Y angular degree(s) of its longitudinalAxis. and X is an instance of aircraft, then there exist Z and W such that Z is the transverseAxis of X and W is the centerOfMass of X and the angle between Z and the PlaneInSpace is perpendicular to the line formed by W and the centre of the AstronomicalBody. is Y angular degree(s) |
| (=> (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 |
|