| Runway | |
| appearance as argument number 1 |
|
|
| (documentation Runway EnglishLanguage "Runway is the class of Transitways that are used for the takeoff and landing of Airplanes. Runways are Transitways for an intermodal transit, which begins with a land transit and ends with air transit, or vice versa. The Airspace immediately above (and adjacent to) a Runway is an AirTransitway.") | Transportation.kif 1299-1303 | |
| (subclass Runway LandTransitway) | Transportation.kif 1298-1298 |
| appearance as argument number 2 |
|
|
| (subclass PavedRunway Runway) | Transportation.kif 1312-1312 | |
| (subclass UnpavedRunway Runway) | Transportation.kif 1493-1493 | |
| (termFormat ChineseLanguage Runway "跑道") | domainEnglishFormat.kif 50633-50633 | |
| (termFormat ChineseTraditionalLanguage Runway "跑道") | domainEnglishFormat.kif 50632-50632 | |
| (termFormat EnglishLanguage Runway "runway") | domainEnglishFormat.kif 50631-50631 |
| antecedent |
|
|
| (=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Asphalt)) (instance ?RUNWAY PavedRunway)) |
Transportation.kif 1324-1329 | |
| (=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway)) |
Transportation.kif 1331-1336 | |
| (=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH)))) |
Transportation.kif 1305-1310 |
| consequent |
|
|
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 2438) (lessThanOrEqualTo ?LENGTH 3047))))) |
Transportation.kif 1445-1457 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 1524) (lessThanOrEqualTo ?LENGTH 2437))))) |
Transportation.kif 1426-1438 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 914) (lessThanOrEqualTo ?LENGTH 1523))))) |
Transportation.kif 1407-1419 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryLongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (greaterThan ?LENGTH 3047)))) |
Transportation.kif 1464-1474 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (lessThan ?LENGTH 914)))) |
Transportation.kif 1391-1400 |
|
|
|