TreeView Knowledge Base Browser - FlightControlSurfaces

appearance as argument number 1

(subclass FlightControlSurfaces Device)	Transportation.kif 3348-3348	Flight control surface is a subclass of device
(documentation FlightControlSurfaces EnglishLanguage "Flight control surfaces are aerodynamic devices allowing a pilot to adjust and control the aircraft's flight attitude.The primary function of these is to control the aircraft's movement along the three axes of rotation. A conventional fixed-wing aircraft uses three primary flight control surfaces – aileron, rudder and elevator to control the roll, yaw, and pitch respectively. Secondary flight control surfaces might include spoiler, flaps, and slats on the wings.[Wikipedia]")	Transportation.kif 3349-3355	Flight control surface is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage FlightControlSurfaces "flight control surface")	Transportation.kif 3356-3356
(subclass Aileron FlightControlSurfaces)	Transportation.kif 3373-3373	Aileron is a subclass of flight control surface
(subclass FlightElevator FlightControlSurfaces)	Transportation.kif 3496-3496	Flight elevator is a subclass of flight control surface
(subclass FlightRudder FlightControlSurfaces)	Transportation.kif 3636-3636	Flight rudder is a subclass of flight control surface

antecedent

(=>
    (and
        (instance ?C FlightControlSurfaces)
        (part ?C ?F)
        (instance ?F Aircraft))
    (hasPurpose ?C
        (exists (?R ?X ?A)
            (and
                (instance ?R Rotating)
                (moves ?R ?F)
                (rotationalAxis ?R ?X)
                (instance ?A AxisOfAnObject)
                (?A ?X ?F)
                (instrument ?R ?C)))))

If X is an instance of flight control surface, X is a part of Y, and Y is an instance of aircraft, then All of the following hold: (1) X has the purpose there exist Z, W (2) V such that Z is an instance of rotating (3) Y moves during Z (4) W is the axis of Z (5) V is an instance of axis of an object (6) V W (7) Y (8) X is an instrument for Z