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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Airplane
Airplane
more pictures...

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 2592-2594
(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 1626-1626
(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
(externalImage Airplane "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ planes/ airplane.png") pictureList.kif 213-213

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 2597-2597
(subclass PropellerJet Airplane) Transportation.kif 2598-2598
(subclass PropellerPlane Airplane) Transportation.kif 2596-2596
(subclass VSTOL Airplane) MilitaryDevices.kif 1708-1708
(termFormat ChineseLanguage Airplane "飞机") domainEnglishFormat.kif 6177-6177
(termFormat ChineseTraditionalLanguage Airplane "飛機") domainEnglishFormat.kif 6176-6176
(termFormat EnglishLanguage Airplane "airplane") domainEnglishFormat.kif 6175-6175

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 30096-30109
(=>
    (holdsDuring ?T
        (attribute ?X FlightSteward))
    (holdsDuring ?T
        (exists (?P)
            (and
                (instance ?P Airplane)
                (located ?X ?P)))))
Mid-level-ontology.kif 30087-30094
(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))
Transportation.kif 2631-2633


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