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 è una sottoclasse di LandTransitway |
appearance as argument number 2 |
(subclass PavedRunway Runway) | Transportation.kif 1312-1312 | PavedRunway è una sottoclasse di Runway |
(subclass UnpavedRunway Runway) | Transportation.kif 1493-1493 | UnpavedRunway è una sottoclasse di Runway |
(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 |