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 2585-2587
(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 2590-2590
(subclass PropellerJet Airplane) Transportation.kif 2591-2591
(subclass PropellerPlane Airplane) Transportation.kif 2589-2589
(subclass VSTOL Airplane) MilitaryDevices.kif 1708-1708
(termFormat ChineseLanguage Airplane "飞机") domainEnglishFormat.kif 6168-6168
(termFormat ChineseTraditionalLanguage Airplane "飛機") domainEnglishFormat.kif 6167-6167
(termFormat EnglishLanguage Airplane "airplane") domainEnglishFormat.kif 6166-6166

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 30745-30758
(=>
    (holdsDuring ?T
        (attribute ?X FlightSteward))
    (holdsDuring ?T
        (exists (?P)
            (and
                (instance ?P Airplane)
                (located ?X ?P)))))
Mid-level-ontology.kif 30736-30743
(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))
Transportation.kif 2624-2626


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