VeryLongRunwayAirport(very long runway airport) |
appearance as argument number 1 |
(documentation VeryLongRunwayAirport EnglishLanguage "VeryLongRunwayAirport is a CIA category for Airports whose longest runway has a length greater than 3,047 meters.") | Transportation.kif 1460-1462 | |
(instance VeryLongRunwayAirport CIAAirportLengthClassification) | Transportation.kif 1459-1459 | Very long runway airport is an instance of CIA airport length classification |
appearance as argument number 2 |
(termFormat ChineseLanguage VeryLongRunwayAirport "很长的跑道机场") | domainEnglishFormat.kif 61564-61564 | |
(termFormat ChineseTraditionalLanguage VeryLongRunwayAirport "很長的跑道機場") | domainEnglishFormat.kif 61563-61563 | |
(termFormat EnglishLanguage VeryLongRunwayAirport "very long runway airport") | domainEnglishFormat.kif 61562-61562 |
antecedent |
(=> (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 |
|