| 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 17976-17977 | |
| (externalImage AirTransportation "http://articulatesoftware.com/SUMOpictures/ signs_symbol/ BW/ air_transportation.png") | pictureList.kif 211-211 | |
| (subclass AirTransportation Transportation) | Mid-level-ontology.kif 17975-17975 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AirTransportation "航空运输") | domainEnglishFormat.kif 6303-6303 | |
| (termFormat ChineseTraditionalLanguage AirTransportation "航空運輸") | domainEnglishFormat.kif 6302-6302 | |
| (termFormat EnglishLanguage AirTransportation "air transportation") | domainEnglishFormat.kif 6301-6301 |
| 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 17979-17986 |
| consequent |
|
|
| (=> (instance ?CRAFT Aircraft) (capability AirTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 18112-18114 | |
| (=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 18099-18104 | |
| (=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 4259-4266 |
|
|
|