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

Formal Language: 



KB Term:  Term intersection
English Word: 

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


(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 3107-3109
(externalImage Airplane "http://articulatesoftware.com/SUMOpictures/transportation/ planes/ airplane.png") pictureList.kif 213-213
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/0/ 06/ Concorde_on_Bristol.jpg") pictureList-ImageNet.kif 315-315
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Airbus_A380_blue_sky.jpg") pictureList.kif 1625-1625
(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
(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
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 18/ A380_takeoff.ogg/ mid-A380_takeoff.ogg.jpg") pictureList-ImageNet.kif 313-313
(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
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ KLMS.jpg/ 250px-KLMS.jpg") pictureList-ImageNet.kif 311-311
(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
(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
(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
(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
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 5e/ Superconstellation_movie.ogg/ mid-Superconstellation_movie.ogg.jpg") pictureList-ImageNet.kif 316-316
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Tu-144.jpg/ 250px-Tu-144.jpg") pictureList-ImageNet.kif 323-323
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7d/ Tailpiece.jpg/ 180px-Tailpiece.jpg") pictureList-ImageNet.kif 314-314
(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
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8c/ Comet_1.jpg/ 250px-Comet_1.jpg") pictureList-ImageNet.kif 304-304
(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
(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
(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
(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
(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
(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
(externalImage Airplane "http://upload.wikimedia.org/wikipedia/en/a/a9/A350xwb.jpg") pictureList-ImageNet.kif 318-318

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(subclass JetAirplane Airplane) Transportation.kif 3112-3112 Jet airplane is a subclass of airplane
(subclass PropellerJet Airplane) Transportation.kif 3113-3113 Propeller jet is a subclass of airplane
(subclass PropellerPlane Airplane) Transportation.kif 3111-3111 Propeller plane is a subclass of airplane
(subclass VSTOL Airplane) MilitaryDevices.kif 1708-1708 VSTOL is a subclass of airplane
(termFormat ChineseLanguage Airplane "飞机") domainEnglishFormat.kif 6172-6172 VSTOL is a subclass of airplane
(termFormat ChineseTraditionalLanguage Airplane "飛機") domainEnglishFormat.kif 6171-6171 VSTOL is a subclass of airplane
(termFormat EnglishLanguage Airplane "airplane") domainEnglishFormat.kif 6170-6170 VSTOL is a subclass of airplane

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


(=>
    (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)))))))))		 Mid-level-ontology.kif 31002-31015
(=>
    (holdsDuring ?T
        (attribute ?X FlightSteward))
    (holdsDuring ?T
        (exists (?P)
            (and
                (instance ?P Airplane)
                (located ?X ?P)))))		 Mid-level-ontology.kif 30993-31000
(=>
    (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
(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))		 Transportation.kif 3146-3148
(=>
    (instance ?T Taxiway)
    (trafficableForTrafficType ?T Airplane))		 Transportation.kif 1430-1432


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 is open source software produced by Articulate Software and its partners