(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT LongRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 2438)
(lessThanOrEqualTo ?LENGTH 3047))))) |
Transportation.kif 1574-1586 |
|
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT MediumLengthRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 1524)
(lessThanOrEqualTo ?LENGTH 2437))))) |
Transportation.kif 1555-1567 |
|
(=>
(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 1536-1548 |
|
(=>
(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 1593-1603 |
|
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT VeryShortRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(lessThan ?LENGTH 914)))) |
Transportation.kif 1520-1529 |
|
(=>
(instance ?T Taxiway)
(hasPurpose ?T
(exists (?R ?AA)
(and
(instance ?R Runway)
(instance ?AA AirportApron)
(connects ?T ?R ?AA))))) |
Transportation.kif 1421-1428 |
|
(=>
(numberOfRunways ?A ?N)
(exists (?R ?COLL)
(and
(instance ?R Runway)
(part ?R ?A)
(member ?R ?COLL)
(memberCount ?COLL ?N)))) |
Transportation.kif 1442-1449 |
|