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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Aircraft
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 15409-15411
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ DOD_mobile_aircraft_firefighting_training_device.jpg") pictureList-ImageNet.kif 287-287
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ USCG_Animation_of_aircraft.gif") pictureList-ImageNet.kif 299-299
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Aircraft_at_LHR_Terminal_3-2.jpg") pictureList-ImageNet.kif 262-262
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/2/ 22/ Swiss_aircraft.jpg") pictureList-ImageNet.kif 286-286
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ QF-106_aircraft_taking_off.jpg") pictureList-ImageNet.kif 276-276
(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
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ View.at.bristol.airport.2aircraft.arp.jpg") pictureList-ImageNet.kif 279-279
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 50/ Aircraft_wing_flaps_full_airbrakes_dsc06838.jpg") pictureList-ImageNet.kif 298-298
(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
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Ideic5.jpg") pictureList-ImageNet.kif 290-290
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ NASA_Proteus_aircraft_in_flight.jpg") pictureList-ImageNet.kif 289-289
(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
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Airbus_A380_blue_sky.jpg") pictureList.kif 1620-1620
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Aircraft_X-31_Deutsches_Museum.jpg") pictureList-ImageNet.kif 296-296
(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 277-277
(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
(externalImage Aircraft "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ Atlantis_on_Shuttle_Carrier_Aircraft.jpg") pictureList-ImageNet.kif 303-303
(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
(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
(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
(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
(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
(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

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
(subclass Airplane Aircraft) Transportation.kif 2551-2551
(subclass GliderPlane Aircraft) Transportation.kif 2562-2562
(subclass Helicopter Aircraft) Mid-level-ontology.kif 15442-15442
(subclass MilitaryAircraft Aircraft) Military.kif 155-155
(subclass Rocket Aircraft) Transportation.kif 2561-2561
(termFormat ChineseLanguage Aircraft "飞机") domainEnglishFormat.kif 6127-6127
(termFormat ChineseTraditionalLanguage Aircraft "飛機") domainEnglishFormat.kif 6126-6126
(termFormat EnglishLanguage Aircraft "aircraft") domainEnglishFormat.kif 6125-6125

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


(domain absoluteHeight 1 Aircraft) MilitaryDevices.kif 1456-1456

antecedent
-------------------------


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467
(=>
    (instance ?CRAFT Aircraft)
    (capability AirTransportation instrument ?CRAFT))
Mid-level-ontology.kif 15413-15415

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 7960-7985
(=>
    (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 3292-3299
(=>
    (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 15393-15398
(=>
    (instance ?SERVICE AirTransportationService)
    (exists (?AIRCRAFT ?AIR)
        (and
            (instance ?AIR AirTransportation)
            (subProcess ?AIR ?SERVICE)
            (instrument ?AIR ?AIRCRAFT)
            (instance ?AIRCRAFT Aircraft))))
Transportation.kif 3328-3335
(=>
    (instance ?TRANSPORT AirTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Aircraft)
            (instance ?REGION AtmosphericRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 15280-15287
(=>
    (instance ?W WingDevice)
    (exists (?A)
        (and
            (instance ?A Aircraft)
            (part ?W ?A))))
Mid-level-ontology.kif 1920-1925


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