TransitAndGroundPassengerTransportation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TransitAndGroundPassengerTransportation EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Transit and Ground Passenger Transportation.")	naics.kif 8340-8342
(instance TransitAndGroundPassengerTransportation IndustryAttribute)	naics.kif 8338-8338	Transit and ground passenger transportation is an instance of industry attribute

appearance as argument number 2

(subAttribute CharterBusIndustry TransitAndGroundPassengerTransportation)	naics.kif 8431-8431	Charter bus industry is a subattribute of transit and ground passenger transportation
(subAttribute InterurbanAndRuralBusTransportation TransitAndGroundPassengerTransportation)	naics.kif 8400-8400	Interurban and rural bus transportation is a subattribute of transit and ground passenger transportation
(subAttribute OtherTransitAndGroundPassengerTransportation TransitAndGroundPassengerTransportation)	naics.kif 8437-8437	Other transit and ground passenger transportation is a subattribute of transit and ground passenger transportation
(subAttribute SchoolAndEmployeeBusTransportation TransitAndGroundPassengerTransportation)	naics.kif 8425-8425	School and employee bus transportation is a subattribute of transit and ground passenger transportation
(subAttribute TaxiAndLimousineService TransitAndGroundPassengerTransportation)	naics.kif 8406-8406	Taxi and limousine service is a subattribute of transit and ground passenger transportation
(subAttribute UrbanTransitSystems TransitAndGroundPassengerTransportation)	naics.kif 8366-8366	Urban transit systems is a subattribute of transit and ground passenger transportation
(termFormat ChineseLanguage TransitAndGroundPassengerTransportation "过境和地面客运")	domainEnglishFormat.kif 58894-58894	Urban transit systems is a subattribute of transit and ground passenger transportation
(termFormat ChineseTraditionalLanguage TransitAndGroundPassengerTransportation "過境和地面客運")	domainEnglishFormat.kif 58893-58893	Urban transit systems is a subattribute of transit and ground passenger transportation
(termFormat EnglishLanguage TransitAndGroundPassengerTransportation "transit and ground passenger transportation")	domainEnglishFormat.kif 58892-58892	Urban transit systems is a subattribute of transit and ground passenger transportation

antecedent

(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TransitAndGroundPassengerTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (patient ?T ?P)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))

naics.kif 8344-8364

If a collection is an instance of organization and transit and ground passenger transportation is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of land vehicle

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

KB Term:			Term intersection

English Word: