TreeView Knowledge Base Browser - AirTransportationIndustry

appearance as argument number 1

(instance AirTransportationIndustry IndustryAttribute)	naics.kif 7944-7944	Air transportation industry is an instance of industry attribute
(documentation AirTransportationIndustry EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Air Transportation.")	naics.kif 7946-7948	Air transportation industry is an instance of industry attribute

appearance as argument number 2

(termFormat EnglishLanguage AirTransportationIndustry "air transportation industry")	domainEnglishFormat.kif 6305-6305
(termFormat ChineseTraditionalLanguage AirTransportationIndustry "航空運輸業")	domainEnglishFormat.kif 6306-6306
(termFormat ChineseLanguage AirTransportationIndustry "航空运输业")	domainEnglishFormat.kif 6307-6307
(subAttribute ScheduledAirTransportation AirTransportationIndustry)	naics.kif 7977-7977	Scheduled air transportation is a subattribute of air transportation industry
(subAttribute NonscheduledAirTransportation AirTransportationIndustry)	naics.kif 7997-7997	Nonscheduled air transportation is a subattribute of air transportation industry

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 ?MEM ?P
                        (exists (?FLY ?PLANE ?OBJ)
                            (and
                                (instance ?FLY Transportation)
                                (or
                                    (patient ?FLY ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?FLY ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?PLANE)
                                (instance ?PLANE Aircraft)))))))))

naics.kif 7950-7975

If X is an instance of organization and air transportation industry is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W is a patient of V or W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of aircraft to perform task of the type Z

consequent

(=>
(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

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

KB Term:			Term intersection

English Word: