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


KB Term:  Term intersection
English Word: 

  Airplane

 Sigma KEE - Airplane
Airplane(airplane)
more pictures...		aeroplane, airliner, airplane, amphibian, amphibious_aircraft, biplane, delta_wing, fan-jet, fanjet, hangar_queen, hydroplane, monoplane, multiengine_airplane, multiengine_plane, narrow-body, narrow-body_aircraft, narrowbody_aircraft, plane, reconnaissance_plane, seaplane, ski-plane, tanker_plane, turbofan, turbojet, twin-aisle_airplane, wide-body, wide-body_aircraft, widebody_aircraft

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


(subclass Airplane Aircraft) Transportation.kif 3159-3159 Airplane is a subclass of aircraft
(subclass Airplane PoweredVehicle) Transportation.kif 3160-3160 Airplane is a subclass of powered vehicle
(documentation Airplane EnglishLanguage "Airplane is the subclass of Aircraft that are fixed_wing aircraft which carry their own power sources. Airplane includes jet airplanes and propeller planes, but not gliders.") Transportation.kif 3161-3163 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 43/ Air_Koryo_IL-62M_P-881.JPG/ 300px_Air_Koryo_IL-62M_P-881.JPG") pictureList-ImageNet.kif 303-303 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8c/ Comet_1.jpg/ 250px_Comet_1.jpg") pictureList-ImageNet.kif 304-304 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ C_GBYN_Adlair_Aviation_Ltd_Beechcraft_King_Air_200_%28BE20%29_03.JPG/ 220px_C-GBYN_Adlair_Aviation_Ltd_Beechcraft_King_Air_200_%28BE20%29_03.JPG") pictureList-ImageNet.kif 305-305 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0d/ Avro_Lancaster_B_I_PA474.jpg/ 280px_Avro_Lancaster_B_I_PA474.jpg") pictureList-ImageNet.kif 306-306 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Luft.a300b4.d_aias.750pix..jpg/ 300px_Luft.a300b4.d_aias.750pix..jpg") pictureList-ImageNet.kif 307-307 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 39/ Concorde_216_(G_BOAF)_last_flight.jpg/ 300px_Concorde_216_(G_BOAF)_last_flight.jpg") pictureList-ImageNet.kif 308-308 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 41/ Lockheed_Constellation_N749NL_Aviodrome.JPG/ 350px_Lockheed_Constellation_N749NL_Aviodrome.JPG") pictureList-ImageNet.kif 309-309 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c5/ Gimli_Glider_today.jpg/ 250px_Gimli_Glider_today.jpg") pictureList-ImageNet.kif 310-310 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ KLMS.jpg/ 250px_KLMS.jpg") pictureList-ImageNet.kif 311-311 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 00/ Ec01-0129-17.jpg/ 260px_Ec01-0129-17.jpg") pictureList-ImageNet.kif 312-312 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 18/ A380_takeoff.ogg/ mid_A380_takeoff.ogg.jpg") pictureList-ImageNet.kif 313-313 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7d/ Tailpiece.jpg/ 180px_Tailpiece.jpg") pictureList-ImageNet.kif 314-314 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/0/ 06/ Concorde_on_Bristol.jpg") pictureList-ImageNet.kif 315-315 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 5e/ Superconstellation_movie.ogg/ mid_Superconstellation_movie.ogg.jpg") pictureList-ImageNet.kif 316-316 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 38/ Tu-144-schoenefeld.jpg/ 300px_Tu-144-schoenefeld.jpg") pictureList-ImageNet.kif 317-317 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/en/a/a9/A350xwb.jpg") pictureList-ImageNet.kif 318-318 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 82/ Tu154_-_011_by_Joymaster.JPG/ 300px_Tu154_-_011_by_Joymaster.JPG") pictureList-ImageNet.kif 319-319 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2a/ Rossiya.tu-154m.ra-85779.arp.jpg/ 300px_Rossiya.tu-154m.ra-85779.arp.jpg") pictureList-ImageNet.kif 320-320 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d8/ KLM.Fokker_F50.jpg/ 300px_KLM.Fokker_F50.jpg") pictureList-ImageNet.kif 321-321 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ea/ Boeing_787_Roll_out.jpg/ 250px_Boeing_787_Roll_out.jpg") pictureList-ImageNet.kif 322-322 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Tu-144.jpg/ 250px_Tu-144.jpg") pictureList-ImageNet.kif 323-323 Airplane is a subclass of powered vehicle
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b1/ A380_Reveal_1.jpg/ 300px_A380_Reveal_1.jpg") pictureList-ImageNet.kif 324-324 Airplane is a subclass of powered vehicle

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(subclass VSTOL Airplane) MilitaryDevices.kif 1865-1865 VSTOL is a subclass of airplane
(subclass PropellerPlane Airplane) Transportation.kif 3196-3196 Propeller plane is a subclass of airplane
(subclass JetAirplane Airplane) Transportation.kif 3197-3197 Jet airplane is a subclass of airplane
(subclass PropellerJet Airplane) Transportation.kif 3198-3198 Propeller jet is a subclass of airplane
(initiallyContainsPart FlightWing Airplane) Transportation.kif 3346-3346 Instance of flight wing are always initially part of instances of airplane
(typicallyContainsPart TailPlane Airplane) Transportation.kif 3486-3486 A airplane typically has a part tail plane
(typicallyContainsPart VerticalStabilizer Airplane) Transportation.kif 3619-3619 A airplane typically has a part vertical stabilizer
(termFormat EnglishLanguage Airplane "airplane") domainEnglishFormat.kif 6169-6169 A airplane typically has a part vertical stabilizer
(termFormat ChineseTraditionalLanguage Airplane "飛機") domainEnglishFormat.kif 6170-6170 A airplane typically has a part vertical stabilizer
(termFormat ChineseLanguage Airplane "飞机") domainEnglishFormat.kif 6171-6171 A airplane typically has a part vertical stabilizer

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


(=>
    (and
        (instance ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P Aileron)
        (member ?LA ?P)
        (instance ?M1 Motion)
        (moves ?M1 ?LA)
        (direction ?M1 ?DIR1)
        (member ?RA ?P)
        (instance ?M2 Motion)
        (not
            (equal ?M1 ?M2))
        (moves ?M2 ?RA)
        (direction ?M2 ?DIR2)
        (not
            (exists (?L)
                (and
                    (instance ?L Landing)
                    (patient ?L ?F)))))
    (oppositeDirection ?DIR1 ?DIR2))		 Transportation.kif 3416-3437 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) aileron is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S (14) there doesn't exist R such that R is an instance of landing and Y is a patient of R, then S is an opposite direction of V
(=>
    (and
        (instance ?F Flying)
        (patient ?F ?P)
        (instance ?P Airplane)
        (part ?LW ?P)
        (instance ?LW FlightWing)
        (side ?LW ?P)
        (orientation ?LW ?P Left)
        (instance ?LA Aileron)
        (located ?LA ?LW)
        (instance ?U MotionUpward)
        (moves ?U ?LA))
    (holdsDuring
        (WhenFn ?U)
        (exists (?D)
            (and
                (instance ?D MotionDownward)
                (moves ?D ?LW)
                (causes ?U ?D)))))		 Transportation.kif 3439-3457 If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is left of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion upward (11) W moves during V, then there exists U such that U is an instance of motion downward, Z moves during U, and V causes U holds during the time of existence of V
(=>
    (and
        (instance ?F Flying)
        (patient ?F ?P)
        (instance ?P Airplane)
        (part ?RW ?P)
        (instance ?RW FlightWing)
        (side ?RW ?P)
        (orientation ?RW ?P Right)
        (instance ?RA Aileron)
        (located ?RA ?RW)
        (instance ?D MotionDownward)
        (moves ?D ?RA))
    (holdsDuring
        (WhenFn ?D)
        (exists (?U)
            (and
                (instance ?U MotionUpward)
                (moves ?U ?RW)
                (causes ?D ?U)))))		 Transportation.kif 3459-3477 If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is right of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion downward (11) W moves during V, then there exists U such that U is an instance of motion upward, Z moves during U, and V causes U holds during the time of existence of V
(=>
    (and
        (instance ?T TailPlane)
        (part ?T ?P)
        (instance ?P Airplane))
    (part ?T
        (BackFn ?P)))		 Transportation.kif 3488-3494 If X is an instance of tail plane, X is a part of Y, and Y is an instance of airplane, then X is a part of the back of Y
(=>
    (and
        (instance ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P FlightElevator)
        (member ?LE ?P)
        (instance ?M1 Motion)
        (moves ?M1 ?LE)
        (direction ?M1 ?DIR1)
        (member ?RE ?P)
        (instance ?M2 Motion)
        (not
            (equal ?M1 ?M2))
        (moves ?M2 ?RE)
        (direction ?M2 ?DIR2))
    (equal ?DIR1 ?DIR2))		 Transportation.kif 3535-3551 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 (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S, then equal V and 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
(=>
    (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
(=>
    (and
        (instance ?V VerticalStabilizer)
        (part ?V ?P)
        (instance ?P Airplane))
    (orientation ?V
        (BackFn ?P) Vertical))		 Transportation.kif 3621-3627 If X is an instance of vertical stabilizer, X is a part of Y, and Y is an instance of airplane, then X is vertical to to the back of Y
(=>
    (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

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


(=>
    (instance ?AA AirportApron)
    (hasPurpose ?AA
        (exists (?P ?K)
            (and
                (instance ?P Airplane)
                (instance ?K Keeping)
                (patient ?K ?P)
                (destination ?K ?AA)))))		 Transportation.kif 1282-1290 If X is an instance of airport apron, then X has the purpose there exist Y, Z such that Y is an instance of airplane, Z is an instance of keeping, Y is a patient of Z, and Z ends up at X
(=>
    (instance ?T Taxiway)
    (trafficableForTrafficType ?T Airplane))		 Transportation.kif 1446-1448 If X is an instance of taxiway, then airplane is a trafficable for traffic type of X
(=>
    (holdsDuring ?T
        (attribute ?X FlightSteward))
    (holdsDuring ?T
        (exists (?P)
            (and
                (instance ?P Airplane)
                (located ?X ?P)))))		 Transportation.kif 3172-3179 If flight steward is an attribute of X holds during Y, then there exists Z such that Z is an instance of airplane and X is located at Z holds during Y
(=>
    (holdsDuring ?T
        (attribute ?X FlightSteward))
    (hasPurpose ?X
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P Airplane)
                    (not
                        (exists (?G)
                            (and
                                (instance ?G Guiding)
                                (agent ?G ?X)
                                (instrument ?G ?P)))))))))		 Transportation.kif 3181-3194 If flight steward is an attribute of X holds during Y, then X has the purpose there exists Z such that Z is an instance of airplane, there doesn't exist W such that W is an instance of guiding, X is an agent of W, and Z is an instrument for W holds during Y
(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))		 Transportation.kif 3698-3700 If X is an instance of airport, then airplane is a trafficable for traffic type of X


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