| 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 2080-2080 | |
| (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 |
|
|
| (subclass MilitaryAirport Airport) | MilitaryProcesses.kif 2785-2785 | |
| (termFormat ChineseLanguage Airport "飞机场") | domainEnglishFormat.kif 6227-6227 | |
| (termFormat ChineseTraditionalLanguage Airport "飛機場") | domainEnglishFormat.kif 6226-6226 | |
| (termFormat EnglishLanguage Airport "airport") | domainEnglishFormat.kif 6225-6225 |
| appearance as argument number 3 |
|
|
| (domain numberOfAprons 1 Airport) | Transportation.kif 1295-1295 | |
| (domain numberOfRunways 1 Airport) | Transportation.kif 1437-1437 | |
| (domain numberOfTaxiways 1 Airport) | Transportation.kif 1454-1454 |
| antecedent |
|
|
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1486-1493 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1500-1507 | |
| (=> (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 ?AIRPORT Airport) (trafficableForTrafficType ?AIRPORT Airplane)) |
Transportation.kif 3146-3148 |
| 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 1349-1359 | |
| (=> (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 1611-1620 | |
| (=> (instance ?AA AirportApron) (exists (?A) (and (instance ?A Airport) (located ?AA ?A)))) |
Transportation.kif 1275-1280 | |
| (=> (instance ?S AirportStagingArea) (exists (?A) (and (instance ?A Airport) (located ?S ?A)))) |
Transportation.kif 1311-1316 | |
| (=> (instance ?SA SecureAirfield) (exists (?A) (and (instance ?A Airport) (attribute ?A MilitarilySecure)))) |
MilitaryProcesses.kif 2886-2891 | |
| (=> (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 | |
| (=> (instance ?T Taxiway) (exists (?A) (and (instance ?A Airport) (located ?T ?A)))) |
Transportation.kif 1414-1419 | |
| (=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) |
Transportation.kif 1361-1368 |
|
|
|