Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Airport
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain numberOfAprons 1 Airport) | Transportation.kif 1295-1295 | The number 1 argument of number of aprons is an instance of airport |
| (domain numberOfRunways 1 Airport) | Transportation.kif 1453-1453 | The number 1 argument of number of runways is an instance of airport |
| (domain numberOfTaxiways 1 Airport) | Transportation.kif 1470-1470 | The number 1 argument of number of taxiways is an instance of airport |
| antecedent |
|
|
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1502-1509 | If X is an instance of airport and airport with paved runway is an attribute of X, then there exists Y such that Y is an instance of paved runway and Y is a part of X |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1516-1523 | If X is an instance of airport and airport with unpaved runway is an attribute of X, then there exists Y such that Y is an instance of unpaved runway and Y is a part of X |
| (=> (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 1536-1545 | If X is an instance of airport and very short runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is less than 914 |
| (=> (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 1552-1564 | If X is an instance of airport and short runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than or equal to 914 or Z is less than or equal to 1523 |
| (=> (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 1571-1583 | If X is an instance of airport and medium length runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than or equal to 1524 or Z is less than or equal to 2437 |
| (=> (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 1590-1602 | If X is an instance of airport and long runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than or equal to 2438 or Z is less than or equal to 3047 |
| (=> (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 1609-1619 | If X is an instance of airport and very long runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than 3047 |
| (=> (instance ?AIRPORT Airport) (trafficableForTrafficType ?AIRPORT Airplane)) |
Transportation.kif 3698-3700 | If X is an instance of airport, then airplane is a trafficable for traffic type of X |
| consequent |
|
|
| (=> (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 2089-2098 | If X is an instance of airport shuttle, then there exist Y, Z such that Y is an instance of airport, Z is a subprocess of X, Z is an instance of transportation, and Z ends up at Y or Z originates at Y |
| (=> (instance ?SA SecureAirfield) (exists (?A) (and (instance ?A Airport) (attribute ?A MilitarilySecure)))) |
MilitaryProcesses.kif 2910-2915 | If X is an instance of secure airfield, then there exists Y such that Y is an instance of airport and militarily secure is an attribute of Y |
| (=> (instance ?AA AirportApron) (exists (?A) (and (instance ?A Airport) (located ?AA ?A)))) |
Transportation.kif 1275-1280 | If X is an instance of airport apron, then there exists Y such that Y is an instance of airport and X is located at Y |
| (=> (instance ?S AirportStagingArea) (exists (?A) (and (instance ?A Airport) (located ?S ?A)))) |
Transportation.kif 1311-1316 | If X is an instance of airport staging area, then there exists Y such that Y is an instance of airport and X is located at Y |
| (<=> (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 | X is total facility type in area the class corresponding to airport with paved runway for Y if, only if there exist Z, and W such that Y is a cardinality of the class described by Z |
| (=> (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 | If X is total facility type in area the class corresponding to airport with paved runway for Y, then there exist Z, W such that Z is an instance of airport, W is an instance of paved runway, W is a part of Z, and Z is located at X |
| (=> (instance ?T Taxiway) (exists (?A) (and (instance ?A Airport) (located ?T ?A)))) |
Transportation.kif 1430-1435 | If X is an instance of taxiway, then there exists Y such that Y is an instance of airport and X is located at Y |
| (=> (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 1627-1636 | If X is total facility type in area the class corresponding to airport with unpaved runway for Y and Y is greater than 0, then there exist Z, W such that Z is an instance of airport, W is an instance of unpaved runway, W is a part of Z, and Z is located at X |
|
