Runway(runway) | 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 | Runway is a subclass of land transitway |
appearance as argument number 2 |
(subclass PavedRunway Runway) | Transportation.kif 1312-1312 | Paved runway is a subclass of runway |
(subclass UnpavedRunway Runway) | Transportation.kif 1493-1493 | Unpaved runway is a subclass of runway |
(termFormat ChineseLanguage Runway "跑道") | domainEnglishFormat.kif 50631-50631 | |
(termFormat ChineseTraditionalLanguage Runway "跑道") | domainEnglishFormat.kif 50630-50630 | |
(termFormat EnglishLanguage Runway "runway") | domainEnglishFormat.kif 50629-50629 |
antecedent |
consequent |