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 15410-15412
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ DOD_mobile_aircraft_firefighting_training_device.jpg") pictureList-ImageNet.kif 287-287 "http://upload.wikimedia.org/wikipedia/commons/0/0e/ DOD_mobile_aircraft_firefighting_training_device.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ USCG_Animation_of_aircraft.gif") pictureList-ImageNet.kif 299-299 "http://upload.wikimedia.org/wikipedia/commons/1/12/ USCG_Animation_of_aircraft.gif" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Aircraft_at_LHR_Terminal_3-2.jpg") pictureList-ImageNet.kif 262-262 "http://upload.wikimedia.org/wikipedia/commons/1/17/ Aircraft_at_LHR_Terminal_3-2.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/2/ 22/ Swiss_aircraft.jpg") pictureList-ImageNet.kif 286-286 "http://upload.wikimedia.org/wikipedia/commons/2/22/ Swiss_aircraft.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ QF-106_aircraft_taking_off.jpg") pictureList-ImageNet.kif 276-276 "http://upload.wikimedia.org/wikipedia/commons/2/28/ QF-106_aircraft_taking_off.jpg" is a URL depicting aircraft
(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 293-293 "http://upload.wikimedia.org/wikipedia/commons/3/34/ Several_A-6_aircraft_parked_with_EA-6_and_S-3_aboard_CV-67.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ View.at.bristol.airport.2aircraft.arp.jpg") pictureList-ImageNet.kif 279-279 "http://upload.wikimedia.org/wikipedia/commons/4/41/ View.at.bristol.airport.2aircraft.arp.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 50/ Aircraft_wing_flaps_full_airbrakes_dsc06838.jpg") pictureList-ImageNet.kif 298-298 "http://upload.wikimedia.org/wikipedia/commons/5/50/ Aircraft_wing_flaps_full_airbrakes_dsc06838.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Boeing_727_aircraft_owned_by_Zero_Gravity_Corp._(NASA)_(475109232).jpg") pictureList-ImageNet.kif 281-281 "http://upload.wikimedia.org/wikipedia/commons/5/54/ Boeing_727_aircraft_owned_by_Zero_Gravity_Corp._(NASA)_(475109232).jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Ideic5.jpg") pictureList-ImageNet.kif 290-290 "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Ideic5.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ NASA_Proteus_aircraft_in_flight.jpg") pictureList-ImageNet.kif 289-289 "http://upload.wikimedia.org/wikipedia/commons/6/6f/ NASA_Proteus_aircraft_in_flight.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Israel_Aircraft_Industries_1125_Astra_SPX_D-CRIS_in_DUS.jpg") pictureList-ImageNet.kif 295-295 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Israel_Aircraft_Industries_1125_Astra_SPX_D-CRIS_in_DUS.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Airbus_A380_blue_sky.jpg") pictureList.kif 1620-1620 "http://upload.wikimedia.org/wikipedia/commons/8/82/ Airbus_A380_blue_sky.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Aircraft_X-31_Deutsches_Museum.jpg") pictureList-ImageNet.kif 296-296 "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Aircraft_X-31_Deutsches_Museum.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ ELAL_747-200_4X-AHQ_EPWA_24_08_2004.jpg") pictureList.kif 150-150 "http://upload.wikimedia.org/wikipedia/commons/c/c1/ ELAL_747-200_4X-AHQ_EPWA_24_08_2004.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Pn12_naval-aircraft-factory.jpg") pictureList-ImageNet.kif 277-277 "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Pn12_naval-aircraft-factory.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Eclipse_program_QF-106_aircraft_in_flight,_view_from_tanker.jpg") pictureList-ImageNet.kif 268-268 "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Eclipse_program_QF-106_aircraft_in_flight,_view_from_tanker.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ Atlantis_on_Shuttle_Carrier_Aircraft.jpg") pictureList-ImageNet.kif 303-303 "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Atlantis_on_Shuttle_Carrier_Aircraft.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 04/ Thai_Airways_aircraft.jpg/ 800px-Thai_Airways_aircraft.jpg") pictureList-ImageNet.kif 273-273 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 04/ Thai_Airways_aircraft.jpg/ 800px-Thai_Airways_aircraft.jpg" is a URL depicting aircraft
(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 292-292 "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" is a URL depicting aircraft
(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 280-280 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 24/ Aircraft_4_at_Okecie.JPG/ 800px-Aircraft_4_at_Okecie.JPG" is a URL depicting aircraft
(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 267-267 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ Air_Italy_B752_I-AIGA.jpg/ 250px-Air_Italy_B752_I-AIGA.jpg" is a URL depicting aircraft
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 45/ Aircraft_Boelkow_209.jpg/ 800px-Aircraft_Boelkow_209.jpg") pictureList-ImageNet.kif 272-272 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 45/ Aircraft_Boelkow_209.jpg/ 800px-Aircraft_Boelkow_209.jpg" is a URL depicting aircraft
(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 271-271 "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" is a URL depicting aircraft

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 1702-1702 Aircraft is an industry product type of aircraft manufacturing
(subclass Airplane Aircraft) Transportation.kif 2523-2523 Airplane is a subclass of aircraft
(subclass GliderPlane Aircraft) Transportation.kif 2534-2534 Glider plane is a subclass of aircraft
(subclass Helicopter Aircraft) Mid-level-ontology.kif 15443-15443 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 2533-2533 Rocket is a subclass of aircraft
(termFormat ChineseLanguage Aircraft "飞机") domainEnglishFormat.kif 6127-6127 "飞机" is the printable form of aircraft in ChineseLanguage
(termFormat ChineseTraditionalLanguage Aircraft "飛機") domainEnglishFormat.kif 6126-6126 "飛機" is the printable form of aircraft in ChineseTraditionalLanguage
(termFormat EnglishLanguage Aircraft "aircraft") domainEnglishFormat.kif 6125-6125 "aircraft" is the printable form of aircraft in english language

appearance as argument number 3
-------------------------


(domain absoluteHeight 1 Aircraft) MilitaryDevices.kif 1455-1455 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 1461-1466 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 15414-15416

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)
                            (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 7962-7987
(=>
    (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 203-232
(=>
    (instance ?AIRLINE Airline)
    (exists (?FLEET ?AIRCRAFT)
        (and
            (instance ?FLEET Fleet)
            (possesses ?AIRLINE ?FLEET)
            (instance ?AIRCRAFT Aircraft)
            (member ?AIRCRAFT ?FLEET))))
Transportation.kif 3267-3274
(=>
    (instance ?AR AirReconnaissance)
    (exists (?AIRCRAFT)
        (and
            (instance ?AIRCRAFT Aircraft)
            (instrument ?AR ?AIRCRAFT))))
MilitaryProcesses.kif 725-730
(=>
    (instance ?FLY FlyingAircraft)
    (exists (?CRAFT)
        (and
            (instance ?CRAFT Aircraft)
            (patient ?FLY ?CRAFT))))
Mid-level-ontology.kif 15394-15399
(=>
    (instance ?SERVICE AirTransportationService)
    (exists (?AIRCRAFT ?AIR)
        (and
            (instance ?AIR AirTransportation)
            (subProcess ?AIR ?SERVICE)
            (instrument ?AIR ?AIRCRAFT)
            (instance ?AIRCRAFT Aircraft))))
Transportation.kif 3303-3310
(=>
    (instance ?TRANSPORT AirTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Aircraft)
            (instance ?REGION AtmosphericRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 15281-15288
(=>
    (instance ?W WingDevice)
    (exists (?A)
        (and
            (instance ?A Aircraft)
            (part ?W ?A))))
Mid-level-ontology.kif 1925-1930


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners