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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirTransportation

Sigma KEE - AirTransportation
AirTransportation

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 17686-17687
(externalImage AirTransportation "http://articulatesoftware.com/SUMOpictures/ signs_symbol/ BW/ air_transportation.png") pictureList.kif 211-211
(subclass AirTransportation Transportation) Mid-level-ontology.kif 17685-17685 AirTransportation交通手段subclass では %n

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


(termFormat ChineseLanguage AirTransportation "航空运输") domainEnglishFormat.kif 6300-6300
(termFormat ChineseTraditionalLanguage AirTransportation "航空運輸") domainEnglishFormat.kif 6299-6299
(termFormat EnglishLanguage AirTransportation "air transportation") domainEnglishFormat.kif 6298-6298

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


(=>
    (and
        (instance ?T AirTransportation)
        (path ?T ?P))
    (instance ?P AirTransitway))
Transportation.kif 1259-1263
(=>
    (instance ?TRANSPORT AirTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Aircraft)
            (instance ?REGION AtmosphericRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 17689-17696

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


(=>
    (instance ?CRAFT Aircraft)
    (capability AirTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17822-17824
(=>
    (instance ?FLY FlyingAircraft)
    (exists (?FLIGHT)
        (and
            (instance ?FLIGHT AirTransportation)
            (subProcess ?FLY ?FLIGHT))))
Mid-level-ontology.kif 17809-17814
(=>
    (instance ?SERVICE AirTransportationService)
    (exists (?AIRCRAFT ?AIR)
        (and
            (instance ?AIR AirTransportation)
            (subProcess ?AIR ?SERVICE)
            (instrument ?AIR ?AIRCRAFT)
            (instance ?AIRCRAFT Aircraft))))
Transportation.kif 3359-3366


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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