ShortRunwayAirport
|
|
appearance as argument number 1 |
(documentation ShortRunwayAirport EnglishLanguage "ShortRunwayAirport is a CIA category for Airports whose longest runway has a length between 914 meters and 1523 meters, inclusive.") | Transportation.kif 1403-1405 | |
(instance ShortRunwayAirport CIAAirportLengthClassification) | Transportation.kif 1402-1402 |
appearance as argument number 2 |
(termFormat ChineseLanguage ShortRunwayAirport "短跑道机场") | domainEnglishFormat.kif 52823-52823 | |
(termFormat ChineseTraditionalLanguage ShortRunwayAirport "短跑道機場") | domainEnglishFormat.kif 52822-52822 | |
(termFormat EnglishLanguage ShortRunwayAirport "short runway airport") | domainEnglishFormat.kif 52821-52821 |
antecedent |
(=> (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 |