Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  roll

 Sigma KEE - roll
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners