Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Airline
Airline(Airline)airline, airline_business, airway

appearance as argument number 1
-------------------------


(subclass Airline TransportationCompany) Transportation.kif 4979-4979 Airline is a subclass of transportation company
(documentation Airline EnglishLanguage "An Airline is a TransportationCompany that specializes in providing AirTransportation") Transportation.kif 4980-4981 Airline is a subclass of transportation company

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Airline "Airline") Transportation.kif 4982-4982

antecedent
-------------------------


(=>
    (and
        (instance ?AOC AOCnumber)
        (instance ?AIRLINE Airline)
        (possesses ?AIRLINE ?AOC))
    (confersRight FederalAviationAdministration ?AIRLINE
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE)))))		 Transportation.kif 4634-4644 If X is an instance of AOC number, Y is an instance of Airline, and Y possesses X, then Y allows there exists Z such that Z is an instance of Air Transportation Service and Y provides a service during Z to perform task of the type Federal Aviation Administration
(=>
    (instance ?AIRLINE Airline)
    (attribute ?AIRLINE AirTransportationIndustry))		 Transportation.kif 4983-4985 If X is an instance of Airline, then air transportation industry is an attribute of X
(=>
    (instance ?AIRLINE Airline)
    (hasPurpose ?AIRLINE
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE)))))		 Transportation.kif 4987-4993 If X is an instance of Airline, then X has the purpose there exists Y such that Y is an instance of Air Transportation Service and X provides a service during Y
(=>
    (instance ?AIRLINE Airline)
    (exists (?FLEET ?AIRCRAFT)
        (and
            (instance ?FLEET Fleet)
            (possesses ?AIRLINE ?FLEET)
            (instance ?AIRCRAFT Aircraft)
            (member ?AIRCRAFT ?FLEET))))		 Transportation.kif 5006-5013 If X is an instance of Airline, then there exist Y, Z such that Y is an instance of Fleet, X possesses Y, Z is an instance of aircraft, and Z is a member of Y

consequent
-------------------------


(=>
    (and
        (instance ?CM AirlineCodeMap)
        (codeMapping ?CM ?STR ?AIR))
    (and
        (instance ?AIR Airline)
        (represents ?STR ?AIR)))		 Transportation.kif 4581-4587 If X is an instance of airline code map and Y in X denotes Z, then Z is an instance of Airline and Y expresses Z
(=>
    (instance ?AA AirlineAlliance)
    (exists (?A1 ?A2 ?AGR)
        (and
            (instance ?A1 Airline)
            (instance ?A2 Airline)
            (instance ?AGR Agreement)
            (partyToAgreement ?A1 ?AGR)
            (partyToAgreement ?A2 ?AGR))))		 Society.kif 116-124 If X is an instance of AirlineAlliance, then there exist Y, Z, W such that Y is an instance of Airline, Z is an instance of Airline, W is an instance of agreement, W is a party to agreement of Y, and W is a party to agreement of Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners