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 17713-17714 | |
(externalImage AirTransportation "http://articulatesoftware.com/SUMOpictures/ signs_symbol/ BW/ air_transportation.png") | pictureList.kif 211-211 | |
(subclass AirTransportation Transportation) | Mid-level-ontology.kif 17712-17712 | AirTransportation è una sottoclasse di Trasporto |
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 17716-17723 |
consequent |
(=> (instance ?CRAFT Aircraft) (capability AirTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 17849-17851 |
|
(=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 17836-17841 |
|
(=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 3540-3547 |