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


KB Term:  Term intersection
English Word: 

  yaw

 Sigma KEE - yaw
yaw

appearance as argument number 1
-------------------------


(instance yaw BinaryPredicate) Transportation.kif 3252-3252 yaw is an instance of binary predicate
(subrelation yaw measure) Transportation.kif 3253-3253 yaw is a subrelation of measure
(documentation yaw EnglishLanguage "yaw is the rotation around the verticalAxis.Yaw changes the direction the aircraft's nose is pointing. A positive yawing motion moves the nose of the aircraft to the right. It is primarily controlled by the rudder. Ailerons also have a secondary effect on yaw as the wing with more lift experiences more drag.It is measured as planeAngleMeasure between the vehicle's longitudinalAxis and the path it's travelling.[Wikipedia]") Transportation.kif 3254-3258 yaw is a subrelation of measure
(domain yaw 1 Vehicle) Transportation.kif 3261-3261 The number 1 argument of yaw is an instance of vehicle
(domain yaw 2 AngleMeasure) Transportation.kif 3262-3262 The number 2 argument of yaw is an instance of angle measure

appearance as argument number 2
-------------------------


(relatedInternalConcept pitch yaw) Transportation.kif 3224-3224 pitch is internally related to yaw
(termFormat EnglishLanguage yaw "yaw") Transportation.kif 3259-3259 pitch is internally related to yaw
(format EnglishLanguage yaw "%1 is heading at %2 of its longitudinalAxis.") Transportation.kif 3260-3260 pitch is internally related to yaw
(relatedInternalConcept roll yaw) Transportation.kif 3263-3263 roll is internally related to yaw

antecedent
-------------------------


(=>
    (and
        (instance ?V Aircraft)
        (instance ?R Rotating)
        (patient ?R ?V)
        (rotationalAxis ?R ?A)
        (verticalAxis ?A ?V)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (yaw ?V ?X))
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (yaw ?V ?Y)))
    (not
        (equal ?X ?Y)))		 Transportation.kif 3265-3277 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 verticalAxis of X (6) X is heading at W of its longitudinalAxis. holds during the beginning of the time of existence of Y (7) X is heading at V of its longitudinalAxis. holds during the end of the time of existence of Y, then equal W and V
(=>
    (and
        (yaw ?V
            (MeasureFn ?X AngularDegree))
        (instance ?V Aircraft))
    (exists (?A ?T ?P)
        (and
            (longitudinalAxis ?A ?V)
            (instance ?T Translocation)
            (patient ?T ?V)
            (path ?T ?P)
            (planeAngleMeasure ?A ?P
                (MeasureFn ?X AngularDegree)))))		 Transportation.kif 3279-3290 If X is heading at Y angular degree(s) of its longitudinalAxis. and X is an instance of aircraft, then there exist Z, W and V such that Z is the longitudinalAxis of X and W is an instance of translocation and X is a patient of W and V is path along which W occurs and the angle between Z and V is Y angular degree(s)

consequent
-------------------------


(=>
    (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


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