Aircraft(aircraft) more pictures... | aircraft, airship, dirigible, ground-effect_machine, heavier-than-air_craft, hovercraft, ornithopter, orthopter, stealth_aircraft |
appearance as argument number 1 |
(documentation Aircraft EnglishLanguage "Any Vehicle which is capable of AirTransportation. Note that this class covers both fixed-wing aircraft and helicopters.") | Mid-level-ontology.kif 17845-17847 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ DOD_mobile_aircraft_firefighting_training_device.jpg") | pictureList-ImageNet.kif 286-286 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ USCG_Animation_of_aircraft.gif") | pictureList-ImageNet.kif 298-298 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Aircraft_at_LHR_Terminal_3-2.jpg") | pictureList-ImageNet.kif 261-261 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/2/ 22/ Swiss_aircraft.jpg") | pictureList-ImageNet.kif 285-285 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ QF-106_aircraft_taking_off.jpg") | pictureList-ImageNet.kif 275-275 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/3/ 34/ Several_A-6_aircraft_parked_with_EA-6_and_S-3_aboard_CV-67.jpg") | pictureList-ImageNet.kif 292-292 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ View.at.bristol.airport.2aircraft.arp.jpg") | pictureList-ImageNet.kif 278-278 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 50/ Aircraft_wing_flaps_full_airbrakes_dsc06838.jpg") | pictureList-ImageNet.kif 297-297 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Boeing_727_aircraft_owned_by_Zero_Gravity_Corp._(NASA)_(475109232).jpg") | pictureList-ImageNet.kif 280-280 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Ideic5.jpg") | pictureList-ImageNet.kif 289-289 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ NASA_Proteus_aircraft_in_flight.jpg") | pictureList-ImageNet.kif 288-288 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Israel_Aircraft_Industries_1125_Astra_SPX_D-CRIS_in_DUS.jpg") | pictureList-ImageNet.kif 294-294 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Airbus_A380_blue_sky.jpg") | pictureList.kif 1619-1619 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Aircraft_X-31_Deutsches_Museum.jpg") | pictureList-ImageNet.kif 295-295 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ ELAL_747-200_4X-AHQ_EPWA_24_08_2004.jpg") | pictureList.kif 150-150 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Pn12_naval-aircraft-factory.jpg") | pictureList-ImageNet.kif 276-276 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Eclipse_program_QF-106_aircraft_in_flight,_view_from_tanker.jpg") | pictureList-ImageNet.kif 267-267 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ Atlantis_on_Shuttle_Carrier_Aircraft.jpg") | pictureList-ImageNet.kif 302-302 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 04/ Thai_Airways_aircraft.jpg/ 800px-Thai_Airways_aircraft.jpg") | pictureList-ImageNet.kif 272-272 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 11/ Alliance_Air_aircraft_landing_in_New_Delhi.JPG/ 800px-Alliance_Air_aircraft_landing_in_New_Delhi.JPG") | pictureList-ImageNet.kif 291-291 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 24/ Aircraft_4_at_Okecie.JPG/ 800px-Aircraft_4_at_Okecie.JPG") | pictureList-ImageNet.kif 279-279 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ Air_Italy_B752_I-AIGA.jpg/ 250px-Air_Italy_B752_I-AIGA.jpg") | pictureList-ImageNet.kif 266-266 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 45/ Aircraft_Boelkow_209.jpg/ 800px-Aircraft_Boelkow_209.jpg") | pictureList-ImageNet.kif 271-271 | |
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 45/ Junkers_Ju_52_troop_carrying_aircraft_flying_low_over_the_island.jpg/ 408px-Junkers_Ju_52_troop_carrying_aircraft_flying_low_over_the_island.jpg") | pictureList-ImageNet.kif 270-270 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
(industryProductType AircraftManufacturing Aircraft) | Economy.kif 1698-1698 | Aircraft is an industry product type of aircraft manufacturing |
(subclass Airplane Aircraft) | Transportation.kif 2615-2615 | Airplane is a subclass of aircraft |
(subclass GliderPlane Aircraft) | Transportation.kif 2626-2626 | Glider plane is a subclass of aircraft |
(subclass Helicopter Aircraft) | Mid-level-ontology.kif 17853-17853 | Helicopter is a subclass of aircraft |
(subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | Military aircraft is a subclass of aircraft |
(subclass Rocket Aircraft) | Transportation.kif 2625-2625 | Rocket is a subclass of aircraft |
(termFormat ChineseLanguage Aircraft "飞机") | domainEnglishFormat.kif 6120-6120 | |
(termFormat ChineseTraditionalLanguage Aircraft "飛機") | domainEnglishFormat.kif 6119-6119 | |
(termFormat EnglishLanguage Aircraft "aircraft") | domainEnglishFormat.kif 6118-6118 |
appearance as argument number 3 |
(domain absoluteHeight 1 Aircraft) | MilitaryDevices.kif 1456-1456 | The number 1 argument of absolute height is an instance of aircraft |
antecedent |
(<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY)) |
MilitaryDevices.kif 1462-1467 | The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft |
(=> (instance ?CRAFT Aircraft) (capability AirTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 17849-17851 |
|
consequent |