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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Airline

 Sigma KEE - Airline
Airline

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


(documentation Airline EnglishLanguage "An Airline is a TransportationCompany that specializes in providing AirTransportation") Transportation.kif 3349-3350
(subclass Airline TransportationCompany) Transportation.kif 3348-3348 Airline è una sottoclasse di TransportationCompany

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


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

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 3240-3250
(=>
    (instance ?AIRLINE Airline)
    (attribute ?AIRLINE AirTransportationIndustry))		 Transportation.kif 3352-3354
(=>
    (instance ?AIRLINE Airline)
    (exists (?FLEET ?AIRCRAFT)
        (and
            (instance ?FLEET Fleet)
            (possesses ?AIRLINE ?FLEET)
            (instance ?AIRCRAFT Aircraft)
            (member ?AIRCRAFT ?FLEET))))		 Transportation.kif 3375-3382
(=>
    (instance ?AIRLINE Airline)
    (hasPurpose ?AIRLINE
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE)))))		 Transportation.kif 3356-3362

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


(=>
    (and
        (instance ?CM AirlineCodeMap)
        (codeMapping ?CM ?STR ?AIR))
    (and
        (instance ?AIR Airline)
        (represents ?STR ?AIR)))		 Transportation.kif 3187-3193


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 is open source software produced by Articulate Software and its partners