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 |
appearance as argument number 2 |
![]() |
(subclass Airport AirTransitway) | Transportation.kif 1266-1266 | |
(termFormat ChineseLanguage AirTransitway "空中运输通道") | domainEnglishFormat.kif 6301-6301 | |
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") | domainEnglishFormat.kif 6300-6300 | |
(termFormat EnglishLanguage AirTransitway "air transitway") | domainEnglishFormat.kif 6299-6299 |
antecedent |
![]() |
(=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT AirTransitway) (instance ?C Collection) (memberType ?C Aircraft) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 3945-3957 | |
(=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 |
consequent |
![]() |
![]() |
![]() |