Airline(Airline) | airline, airline_business, airway |
appearance as argument number 1 |
(documentation Airline EnglishLanguage "An Airline is a TransportationCompany that specializes in providing AirTransportation") | Transportation.kif 4155-4156 | |
(subclass Airline TransportationCompany) | Transportation.kif 4154-4154 | Airline is a subclass of transportation company |
appearance as argument number 2 |
(termFormat EnglishLanguage Airline "Airline") | Transportation.kif 4157-4157 |
antecedent |
consequent |
(=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR))) |
Transportation.kif 3993-3999 |
|