Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Aircraft
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 2627-2627 Airplane is a subclass of aircraft
(subclass GliderPlane Aircraft) Transportation.kif 2638-2638 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 2637-2637 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
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 RoadVehicle)))
Transportation.kif 3062-3076
(=>
    (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 2996-3007
(=>
    (instance ?CRAFT Aircraft)
    (capability AirTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17849-17851

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 3030-3044
(=>
    (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 3014-3028
(=>
    (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 3046-3060
(=>
    (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 2996-3007
(=>
    (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 3504-3511
(=>
    (instance ?AR AirReconnaissance)
    (exists (?AIRCRAFT)
        (and
            (instance ?AIRCRAFT Aircraft)
            (instrument ?AR ?AIRCRAFT))))
MilitaryProcesses.kif 736-741
(=>
    (instance ?FLY FlyingAircraft)
    (exists (?CRAFT)
        (and
            (instance ?CRAFT Aircraft)
            (patient ?FLY ?CRAFT))))
Mid-level-ontology.kif 17829-17834
(=>
    (instance ?SERVICE AirTransportationService)
    (exists (?AIRCRAFT ?AIR)
        (and
            (instance ?AIR AirTransportation)
            (subProcess ?AIR ?SERVICE)
            (instrument ?AIR ?AIRCRAFT)
            (instance ?AIRCRAFT Aircraft))))
Transportation.kif 3540-3547
(=>
    (instance ?TRANSPORT AirTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Aircraft)
            (instance ?REGION AtmosphericRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 17716-17723
(=>
    (instance ?W WingDevice)
    (exists (?A)
        (and
            (instance ?A Aircraft)
            (part ?W ?A))))
Mid-level-ontology.kif 1509-1514


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