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 18076-18078 | |
| (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 | |
| (subclass Airplane Aircraft) | Transportation.kif 3104-3104 | |
| (subclass GliderPlane Aircraft) | Transportation.kif 3115-3115 | |
| (subclass Helicopter Aircraft) | Mid-level-ontology.kif 18084-18084 | |
| (subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | |
| (subclass Rocket Aircraft) | Transportation.kif 3114-3114 | |
| (termFormat ChineseLanguage Aircraft "飞机") | domainEnglishFormat.kif 6125-6125 | |
| (termFormat ChineseTraditionalLanguage Aircraft "飛機") | domainEnglishFormat.kif 6124-6124 | |
| (termFormat EnglishLanguage Aircraft "aircraft") | domainEnglishFormat.kif 6123-6123 |
| 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 3574-3588 | |
| (=> (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 3558-3572 | |
| (=> (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 3590-3604 | |
| (=> (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 3540-3551 | |
| (=> (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 436-465 | |
| (=> (instance ?AIRLINE Airline) (exists (?FLEET ?AIRCRAFT) (and (instance ?FLEET Fleet) (possesses ?AIRLINE ?FLEET) (instance ?AIRCRAFT Aircraft) (member ?AIRCRAFT ?FLEET)))) |
Transportation.kif 4181-4188 | |
| (=> (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 2630-2644 | |
| (=> (instance ?FLY FlyingAircraft) (exists (?CRAFT) (and (instance ?CRAFT Aircraft) (patient ?FLY ?CRAFT)))) |
Mid-level-ontology.kif 18060-18065 | |
| (=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 4217-4224 | |
| (=> (instance ?TRANSPORT AirTransportation) (exists (?CRAFT ?REGION) (and (instance ?CRAFT Aircraft) (instance ?REGION AtmosphericRegion) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?REGION)))) |
Mid-level-ontology.kif 17947-17954 | |
| (=> (instance ?W WingDevice) (exists (?A) (and (instance ?A Aircraft) (part ?W ?A)))) |
Mid-level-ontology.kif 1509-1514 |
|
|
|