transverseAxis - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage transverseAxis "transverse axis")	Mid-level-ontology.kif 19379-19379
(format EnglishLanguage transverseAxis "%1 is the transverseAxis of %2")	Mid-level-ontology.kif 19380-19380

antecedent

(=> (and (transverseAxis ?V ?O) (instance ?O Aircraft) (side ?L ?O) (side ?R ?O) (orientation ?L ?R Left) (orientation ?R ?L Right) (centerOfMass ?C ?O) (part ?L ?V) (part ?R ?V) (part ?C ?V)) (between ?C ?L ?R))	Mid-level-ontology.kif 19386-19398	If All of the following hold: (1) X is the transverseAxis of Y (2) Y is an instance of aircraft (3) a side of Y is Z (4) a side of Y is W (5) Z is left of to W (6) W is right of to Z (7) V is the centerOfMass of Y (8) Z is a part of X (9) W is a part of X (10) V is a part of X, then Z is between V and W
(=> (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

consequent

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

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)

(relatedInternalConcept transverseAxis longitudinalAxis)	Mid-level-ontology.kif 19360-19360	transverse axis is internally related to longitudinal axis
(instance transverseAxis AxisOfAnObject)	Mid-level-ontology.kif 19374-19374	transverse axis is an instance of axis of an object
(instance transverseAxis PartialValuedRelation)	Mid-level-ontology.kif 19375-19375	transverse axis is an instance of partial valued relation
(documentation transverseAxis EnglishLanguage "transverseAxis or lateral axis passes through an Aircraft from wingtip to wingtip. It is an axis running from the pilot's left to right in piloted aircraft,Rotation about this axis is called pitch.[Wikipedia]")	Mid-level-ontology.kif 19376-19378	transverse axis is an instance of partial valued relation
(domain transverseAxis 1 LineInSpace)	Mid-level-ontology.kif 19381-19381	The number 1 argument of transverse axis is an instance of line in space
(domain transverseAxis 2 Object)	Mid-level-ontology.kif 19382-19382	The number 2 argument of transverse axis is an instance of object
(relatedInternalConcept transverseAxis verticalAxis)	Mid-level-ontology.kif 19383-19383	transverse axis is internally related to vertical axis