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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirTransportation
AirTransportation(air transportation)
air, air_travel, airborne, airlift, aviation, ballooning, buzz, connecting_flight, direct_flight, domestic_flight, flight, fly, flying, glide, hang_glide, international_flight, kite, lift, low_level_flight, maiden_flight, nonstop, nonstop_flight, overflight, overfly, paragliding, parasailing, pass, pass_over, red-eye, redeye, redeye_flight, soar, sortie, terrain_flight

VerbNet: nonvehicle-51.4.2|fly,


appearance as argument number 1
-------------------------


(documentation AirTransportation EnglishLanguage "Any instance of Transportation where the instrument is an Aircraft and which is through an AtmosphericRegion.") Mid-level-ontology.kif 15278-15279
(externalImage AirTransportation "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ BW/ air_transportation.png") pictureList.kif 211-211
(subclass AirTransportation Transportation) Mid-level-ontology.kif 15277-15277 Air transportation is a subclass of transportation

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage AirTransportation "航空运输") domainEnglishFormat.kif 6307-6307
(termFormat ChineseTraditionalLanguage AirTransportation "航空運輸") domainEnglishFormat.kif 6306-6306
(termFormat EnglishLanguage AirTransportation "air transportation") domainEnglishFormat.kif 6305-6305

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


(=>
    (and
        (instance ?T AirTransportation)
        (path ?T ?P))
    (instance ?P AirTransitway))
Transportation.kif 1248-1252
(=>
    (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

consequent
-------------------------


(=>
    (instance ?CRAFT Aircraft)
    (capability AirTransportation instrument ?CRAFT))
Mid-level-ontology.kif 15414-15416
(=>
    (instance ?FLY FlyingAircraft)
    (exists (?FLIGHT)
        (and
            (instance ?FLIGHT AirTransportation)
            (subProcess ?FLY ?FLIGHT))))
Mid-level-ontology.kif 15401-15406
(=>
    (instance ?SERVICE AirTransportationService)
    (exists (?AIRCRAFT ?AIR)
        (and
            (instance ?AIR AirTransportation)
            (subProcess ?AIR ?SERVICE)
            (instrument ?AIR ?AIRCRAFT)
            (instance ?AIRCRAFT Aircraft))))
Transportation.kif 3337-3344


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