more pictures...
| 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 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 | |
| (subclass PropellerJet Airplane) | Transportation.kif 3113-3113 | |
| (subclass PropellerPlane Airplane) | Transportation.kif 3111-3111 | |
| (subclass VSTOL Airplane) | MilitaryDevices.kif 1708-1708 | |
| (termFormat ChineseLanguage Airplane "飞机") | domainEnglishFormat.kif 6173-6173 | |
| (termFormat ChineseTraditionalLanguage Airplane "飛機") | domainEnglishFormat.kif 6172-6172 | |
| (termFormat EnglishLanguage Airplane "airplane") | domainEnglishFormat.kif 6171-6171 |
| 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 |
|
|
|