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

KB Term:  Term intersection
English Word: 

Sigma KEE - pitch
pitch

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


(instance pitch BinaryPredicate) Transportation.kif 3214-3214 pitch is an instance of binary predicate
(subrelation pitch measure) Transportation.kif 3215-3215 pitch is a subrelation of measure
(documentation pitch EnglishLanguage "pitch is the rotation about the TransverseAxis. It changes the vertical direction that an Aircraft's nose is pointing. Elevators are the primary flight control surfaces used to control the pitch. It is measured as planeAngleMeasure between the vehicle's longitudinalAxis and its tangential LevelPlaneFn with the earth.[Wikipedia]") Transportation.kif 3216-3219 pitch is a subrelation of measure
(domain pitch 1 Vehicle) Transportation.kif 3222-3222 The number 1 argument of pitch is an instance of vehicle
(domain pitch 2 AngleMeasure) Transportation.kif 3223-3223 The number 2 argument of pitch is an instance of angle measure
(relatedInternalConcept pitch yaw) Transportation.kif 3224-3224 pitch is internally related to yaw
(relatedInternalConcept pitch roll) Transportation.kif 3304-3304 pitch is internally related to roll

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


(termFormat EnglishLanguage pitch "pitch") Transportation.kif 3220-3220
(format EnglishLanguage pitch "%1 is heading at %2 degree from its level of plane axis.") Transportation.kif 3221-3221

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


(=>
    (and
        (instance ?V Aircraft)
        (instance ?R Rotating)
        (patient ?R ?V)
        (rotationalAxis ?R ?A)
        (transverseAxis ?A ?V)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (pitch ?V ?X))
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (pitch ?V ?Y)))
    (not
        (equal ?X ?Y)))		 Transportation.kif 3226-3238 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 transverseAxis of X (6) X is heading at W degree from its level of plane axis. holds during the beginning of the time of existence of Y (7) X is heading at V degree from its level of plane axis. holds during the end of the time of existence of Y, then equal W and V
(=>
    (and
        (pitch ?V
            (MeasureFn ?X AngularDegree))
        (instance ?V Aircraft))
    (exists (?A ?B)
        (and
            (longitudinalAxis ?A ?V)
            (centerOfMass ?B ?V)
            (planeAngleMeasure ?A
                (LevelPlaneFn ?B PlanetEarth)
                (MeasureFn ?X AngularDegree)))))		 Transportation.kif 3240-3250 If X is heading at Y angular degree(s) degree from its level of plane axis. and X is an instance of aircraft, then there exist Z and W such that Z is the longitudinalAxis 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
        (instance ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P FlightElevator)
        (member ?E ?P)
        (instance ?M MotionUpward)
        (moves ?M ?E)
        (holdsDuring
            (BeginFn
                (WhenFn ?M))
            (pitch ?F
                (MeasureFn ?X AngularDegree)))
        (holdsDuring
            (EndFn
                (WhenFn ?M))
            (pitch ?F
                (MeasureFn ?Y AngularDegree))))
    (greaterThan ?X ?Y))		 Transportation.kif 3553-3566 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) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion upward (7) Z moves during W (8) Y is heading at V angular degree(s) degree from its level of plane axis. holds during the beginning of the time of existence of W (9) Y is heading at U angular degree(s) degree from its level of plane axis. holds during the end of the time of existence of W, then V is greater than U
(=>
    (and
        (instance ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P FlightElevator)
        (member ?E ?P)
        (instance ?M MotionDownward)
        (moves ?M ?E)
        (holdsDuring
            (BeginFn
                (WhenFn ?M))
            (pitch ?F
                (MeasureFn ?X AngularDegree)))
        (holdsDuring
            (EndFn
                (WhenFn ?M))
            (pitch ?F
                (MeasureFn ?Y AngularDegree))))
    (lessThan ?X ?Y))		 Transportation.kif 3568-3581 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) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion downward (7) Z moves during W (8) Y is heading at V angular degree(s) degree from its level of plane axis. holds during the beginning of the time of existence of W (9) Y is heading at U angular degree(s) degree from its level of plane axis. holds during the end of the time of existence of W, then V is less than U
(=>
    (and
        (instance ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P FlightElevator)
        (member ?E ?P)
        (holdsDuring ?T
            (pitch ?F
                (MeasureFn 0 AngularDegree))))
    (holdsDuring ?T
        (not
            (exists (?M)
                (and
                    (moves ?M ?E)
                    (or
                        (instance ?M MotionUpward)
                        (instance ?M MotionDownward)))))))		 Transportation.kif 3583-3599 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) flight elevator is a member type of X (5) Z is a member of X (6) Y is heading at 0 angular degree(s) degree from its level of plane axis. holds during W, then there doesn't exist V such that Z moves during V and V is an instance of motion upward or V is an instance of motion downward holds during W


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


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