AirTransitway
|
|
appearance as argument number 1 |
(documentation AirTransitway EnglishLanguage "The subclass of Transitways that are through the EarthsAtmosphere.") | Transportation.kif 1248-1249 | |
(externalImage AirTransitway "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 13/ FGSQE.jpg/ 250px-FGSQE.jpg") | pictureList.kif 1023-1023 | |
(subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | Air transitway is a subclass of transitway |
appearance as argument number 2 |
(subclass Airport AirTransitway) | Transportation.kif 1266-1266 | Airport is a subclass of air transitway |
(termFormat ChineseLanguage AirTransitway "空中运输通道") | domainEnglishFormat.kif 6294-6294 | |
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") | domainEnglishFormat.kif 6293-6293 | |
(termFormat EnglishLanguage AirTransitway "air transitway") | domainEnglishFormat.kif 6292-6292 |
antecedent |
(=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 |
|
consequent |
(=> (and (instance ?A AirTransportationSystem) (routeInSystem ?A ?P)) (instance ?P AirTransitway)) |
Transportation.kif 2945-2949 |
|
(=> (and (instance ?T AirTransportation) (path ?T ?P)) (instance ?P AirTransitway)) |
Transportation.kif 1259-1263 |
|