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


KB Term:  Term intersection
English Word: 

  Airline

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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