| AirTransportationService | |
| appearance as argument number 1 |
|
|
| (documentation AirTransportationService EnglishLanguage "A TransportationService provided by an AutonomousAgent that involves flying a customer from one Airport to another Airport.") | Transportation.kif 4213-4215 | |
| (subclass AirTransportationService TransportationService) | Transportation.kif 4212-4212 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirTransportationService "Air Transportation Service") | Transportation.kif 4216-4216 |
| antecedent |
|
|
| (=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 4217-4224 |
| consequent |
|
|
| (=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE)) |
Transportation.kif 4046-4056 | |
| (=> (instance ?AIRLINE Airline) (hasPurpose ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))))) |
Transportation.kif 4162-4168 |
|
|
|