|
|
   Airport
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Airport EnglishLanguage "Airport is the subclass of TransitTerminals for Airplanes (fixed-wing Aircraft).") | Transportation.kif 1268-1269 | |
| (externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/4/ 4e/ Flughafen_Frankfurt_am_Main.JPG") | pictureList.kif 1627-1627 | |
| (externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ HFX_Airport_4.jpg") | pictureList.kif 2081-2081 | |
| (externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0f/ Airport_overhead.jpg/ 180px-Airport_overhead.jpg") | pictureList.kif 1022-1022 | |
| (subclass Airport AirTransitway) | Transportation.kif 1266-1266 | |
| (subclass Airport LandTransitway) | Transportation.kif 1267-1267 | |
| (subclass Airport TransitTerminal) | Transportation.kif 1265-1265 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Airport "飞机场") | domainEnglishFormat.kif 6222-6222 | |
| (termFormat ChineseTraditionalLanguage Airport "飛機場") | domainEnglishFormat.kif 6221-6221 | |
| (termFormat EnglishLanguage Airport "airport") | domainEnglishFormat.kif 6220-6220 |
| antecedent |
|
|
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1357-1364 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1371-1378 | |
| (=> (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 1445-1457 | |
| (=> (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 1426-1438 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 1391-1400 | |
| (=> (instance ?AIRPORT Airport) (trafficableForTrafficType ?AIRPORT Airplane)) |
Transportation.kif 2669-2671 |
| consequent |
|
|
| (<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (cardinality (KappaFn ?AIRPORT (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))) ?COUNT))) |
Transportation.kif 1277-1287 | |
| (=> (and (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithUnpavedRunway) ?COUNT) (greaterThan ?COUNT 0)) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) |
Transportation.kif 1482-1491 | |
| (=> (instance ?SVC AirportShuttleService) (exists (?AIRPORT ?TRANSPORT) (and (instance ?AIRPORT Airport) (subProcess ?TRANSPORT ?SVC) (instance ?TRANSPORT Transportation) (or (destination ?TRANSPORT ?AIRPORT) (origin ?TRANSPORT ?AIRPORT))))) |
Hotel.kif 2071-2080 | |
| (=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) |
Transportation.kif 1289-1296 |
|
|
|
