more pictures...
| Aircraft
more pictures... | |
| 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 19386-19388 | |
| (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 1823-1823 | |
| (subclass Airplane Aircraft) | Transportation.kif 3113-3113 | |
| (subclass GliderPlane Aircraft) | Transportation.kif 3124-3124 | |
| (subclass Helicopter Aircraft) | Mid-level-ontology.kif 19394-19394 | |
| (subclass MilitaryAircraft Aircraft) | Military.kif 222-222 | |
| (subclass Rocket Aircraft) | Transportation.kif 3123-3123 | |
| (termFormat ChineseLanguage Aircraft "飞机") | domainEnglishFormat.kif 6129-6129 | |
| (termFormat ChineseTraditionalLanguage Aircraft "飛機") | domainEnglishFormat.kif 6128-6128 | |
| (termFormat EnglishLanguage Aircraft "aircraft") | domainEnglishFormat.kif 6127-6127 |
| appearance as argument number 3 |
|
|
| (domain absoluteHeight 1 Aircraft) | MilitaryDevices.kif 1456-1456 |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG AirTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?FLY ?PLANE ?OBJ) (and (instance ?FLY Transportation) (or (patient ?FLY ?P) (and (possesses ?P ?OBJ) (patient ?FLY ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?PLANE) (instance ?PLANE Aircraft))) ?MEM ?P)))))) |
naics.kif 7953-7978 | |
| (=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RoadVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 3584-3598 | |
| (=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 3568-3582 | |
| (=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 RoadVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 3600-3614 | |
| (=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 Aircraft)) |
Transportation.kif 3550-3561 | |
| (=> (attribute ?X AeronauticalEngineer) (exists (?SKILL) (and (hasSkill ?SKILL ?X) (forall (?P) (=> (instance ?P ?SKILL) (or (exists (?CONS ?OBJ ?PT) (and (instance ?CONS Making) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?CONS ?OBJ) (subProcess ?P ?CONS))) (exists (?DESIGN ?PLAN ?OBJ ?PT) (and (instance ?DESIGN Designing) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?DESIGN ?PLAN) (represents ?PLAN ?OBJ) (subProcess ?P ?DESIGN))))))))) |
Biography.kif 444-473 | |
| (=> (instance ?AIRLINE Airline) (exists (?FLEET ?AIRCRAFT) (and (instance ?FLEET Fleet) (possesses ?AIRLINE ?FLEET) (instance ?AIRCRAFT Aircraft) (member ?AIRCRAFT ?FLEET)))) |
Transportation.kif 4464-4471 | |
| (=> (instance ?AR AirReconnaissance) (exists (?AIRCRAFT) (and (instance ?AIRCRAFT Aircraft) (instrument ?AR ?AIRCRAFT)))) |
MilitaryProcesses.kif 736-741 | |
| (=> (instance ?C AircraftCarrier) (hasPurpose ?C (exists (?A ?T ?CLASS) (and (instance ?A Aircraft) (patient ?T ?A) (instance ?T ?CLASS) (or (and (capability ?CLASS origin ?C) (subclass ?CLASS TakingOff)) (and (capability ?CLASS destination ?C) (subclass ?CLASS Landing ?C))))))) |
Transportation.kif 2639-2653 | |
| (=> (instance ?FLY FlyingAircraft) (exists (?CRAFT) (and (instance ?CRAFT Aircraft) (patient ?FLY ?CRAFT)))) |
Mid-level-ontology.kif 19370-19375 | |
| (=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 4500-4507 | |
| (=> (instance ?TRANSPORT AirTransportation) (exists (?CRAFT ?REGION) (and (instance ?CRAFT Aircraft) (instance ?REGION AtmosphericRegion) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?REGION)))) |
Mid-level-ontology.kif 19257-19264 | |
| (=> (instance ?W WingDevice) (exists (?A) (and (instance ?A Aircraft) (part ?W ?A)))) |
Mid-level-ontology.kif 1732-1737 |
|
|
|