|
|
   Airline
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Airline EnglishLanguage "An Airline is a TransportationCompany that specializes in providing AirTransportation") | Transportation.kif 3478-3479 | |
| (subclass Airline TransportationCompany) | Transportation.kif 3477-3477 | Airline ist eine teilkategorie von TransportationCompany |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Airline "Airline") | Transportation.kif 3480-3480 |
| antecedent |
|
|
| (=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE)) |
Transportation.kif 3369-3379 |
|
| (=> (instance ?AIRLINE Airline) (attribute ?AIRLINE AirTransportationIndustry)) |
Transportation.kif 3481-3483 | |
| (=> (instance ?AIRLINE Airline) (exists (?FLEET ?AIRCRAFT) (and (instance ?FLEET Fleet) (possesses ?AIRLINE ?FLEET) (instance ?AIRCRAFT Aircraft) (member ?AIRCRAFT ?FLEET)))) |
Transportation.kif 3504-3511 |
|
| (=> (instance ?AIRLINE Airline) (hasPurpose ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))))) |
Transportation.kif 3485-3491 |
|
| consequent |
|
|
| (=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR))) |
Transportation.kif 3316-3322 |
|
|
|
|