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 | Air transportation is a subclass of transportation |
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 |