| 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 1288-1292 | |
| (subclass Runway LandTransitway) | Transportation.kif 1287-1287 |
| appearance as argument number 2 |
|
|
| (subclass PavedRunway Runway) | Transportation.kif 1301-1301 | |
| (subclass UnpavedRunway Runway) | Transportation.kif 1478-1478 | |
| (termFormat ChineseLanguage Runway "跑道") | domainEnglishFormat.kif 50559-50559 | |
| (termFormat ChineseTraditionalLanguage Runway "跑道") | domainEnglishFormat.kif 50558-50558 | |
| (termFormat EnglishLanguage Runway "runway") | domainEnglishFormat.kif 50557-50557 |
| antecedent |
|
|
| (=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Asphalt)) (instance ?RUNWAY PavedRunway)) |
Transportation.kif 1313-1318 | |
| (=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway)) |
Transportation.kif 1320-1325 | |
| (=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH)))) |
Transportation.kif 1294-1299 |
| consequent |
|
|
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 2438 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 3047 Meter)))))) |
Transportation.kif 1432-1443 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 1524 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 2437 Meter)))))) |
Transportation.kif 1414-1425 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 914 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 1523 Meter)))))) |
Transportation.kif 1396-1407 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryLongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (greaterThan ?LENGTH (MeasureFn 3047 Meter))))) |
Transportation.kif 1450-1459 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (lessThan ?LENGTH (MeasureFn 914 Meter))))) |
Transportation.kif 1380-1389 |
|
|
|