|
|
   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 17944-17945 | |
| (externalImage AirTransportation "http://articulatesoftware.com/SUMOpictures/ signs_symbol/ BW/ air_transportation.png") | pictureList.kif 211-211 | |
| (subclass AirTransportation Transportation) | Mid-level-ontology.kif 17943-17943 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AirTransportation "航空运输") | domainEnglishFormat.kif 6308-6308 | |
| (termFormat ChineseTraditionalLanguage AirTransportation "航空運輸") | domainEnglishFormat.kif 6307-6307 | |
| (termFormat EnglishLanguage AirTransportation "air transportation") | domainEnglishFormat.kif 6306-6306 |
| 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 17947-17954 |
| consequent |
|
|
| (=> (instance ?CRAFT Aircraft) (capability AirTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 18080-18082 | |
| (=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 18067-18072 | |
| (=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 4186-4193 |
|
|
|
