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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirTransportationIndustry

Sigma KEE - AirTransportationIndustry
AirTransportationIndustry

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


(documentation AirTransportationIndustry EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Air Transportation.") naics.kif 7958-7960
(instance AirTransportationIndustry IndustryAttribute) naics.kif 7956-7956

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


(subAttribute NonscheduledAirTransportation AirTransportationIndustry) naics.kif 8009-8009
(subAttribute ScheduledAirTransportation AirTransportationIndustry) naics.kif 7989-7989
(termFormat EnglishLanguage AirTransportationIndustry "air transportation industry") domainEnglishFormat.kif 1485-1485

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AirTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?FLY ?PLANE)
                            (and
                                (instance ?FLY Transportation)
                                (or
                                    (patient ?FLY ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?FLY ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?PLANE)
                                (instance ?PLANE Aircraft))) ?MEM ?P))))))
naics.kif 7962-7987

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


(=>
    (instance ?AIRLINE Airline)
    (attribute ?AIRLINE AirTransportationIndustry))
Transportation.kif 3244-3246


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners