| AirTransitway(air transitway)
| | air_lane, airway, approach_pattern, flight_path, line_of_flight, pattern, skyway, traffic_pattern |
| appearance as argument number 1 |
|
|
| (subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | Air transitway is a subclass of transitway |
| (documentation AirTransitway EnglishLanguage "The subclass of Transitways that are through the EarthsAtmosphere.") | Transportation.kif 1248-1249 | Air transitway is a subclass of transitway |
| (externalImage AirTransitway "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 13/ FGSQE.jpg/ 250px_FGSQE.jpg") | pictureList.kif 1023-1023 | 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 EnglishLanguage AirTransitway "air transitway") | domainEnglishFormat.kif 6293-6293 | Airport is a subclass of air transitway |
| (termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") | domainEnglishFormat.kif 6294-6294 | Airport is a subclass of air transitway |
| (termFormat ChineseLanguage AirTransitway "空中运输通道") | domainEnglishFormat.kif 6295-6295 | Airport is a subclass of air transitway |
| antecedent |
|
|
| (=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 | If X is an instance of air transitway, then X has the purpose there exists Y such that Y is an instance of transportation, X is path along which Y occurs, and X is partly located in earths atmosphere |
| (=> (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 4448-4460 | If All of the following hold: (1) X can handle Y number of vehicles during Z (2) X is an instance of air transitway (3) W is an instance of collection (4) aircraft is a member type of W (5) V is a member count of W (6) U is a member of W (7) T is an instance of transportation (8) U is an instrument for T (9) the time of existence of T takes place during Z (10) X is path along which T occurs, then Y is greater than or equal to V |
| consequent |
|
|
| (=> (and (instance ?T AirTransportation) (path ?T ?P)) (instance ?P AirTransitway)) |
Transportation.kif 1259-1263 | If X is an instance of air transportation and Y is path along which X occurs, then Y is an instance of air transitway |
| (=> (and (instance ?A AirTransportationSystem) (routeInSystem ?A ?P)) (instance ?P AirTransitway)) |
Transportation.kif 4003-4007 | If X is an instance of air transportation system and Y is a route in system of X, then Y is an instance of air transitway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A AirTransitway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B Waterway))))) |
Transportation.kif 4199-4214 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of air transitway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of waterway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Waterway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B AirTransitway))))) |
Transportation.kif 4216-4231 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of waterway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of air transitway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Railway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Roadway) (instance ?B AirTransitway))))) |
Transportation.kif 4233-4248 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of railway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of roadway or V is an instance of air transitway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Roadway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Railway) (instance ?B AirTransitway))))) |
Transportation.kif 4250-4265 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of roadway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of railway or V is an instance of air transitway |
|
|
|