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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitAndGroundPassengerTransportation
TransitAndGroundPassengerTransportation(transit and ground passenger transportation)transit_and_ground_passenger_transportation, 过境和地面客运, 過境和地面客運

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 8263-8265
(instance TransitAndGroundPassengerTransportation IndustryAttribute) naics.kif 8261-8261 Transit and ground passenger transportation is an instance of industry attribute

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


(subAttribute CharterBusIndustry TransitAndGroundPassengerTransportation) naics.kif 8354-8354 Charter bus industry is a subattribute of transit and ground passenger transportation
(subAttribute InterurbanAndRuralBusTransportation TransitAndGroundPassengerTransportation) naics.kif 8323-8323 Interurban and rural bus transportation is a subattribute of transit and ground passenger transportation
(subAttribute OtherTransitAndGroundPassengerTransportation TransitAndGroundPassengerTransportation) naics.kif 8360-8360 Other transit and ground passenger transportation is a subattribute of transit and ground passenger transportation
(subAttribute SchoolAndEmployeeBusTransportation TransitAndGroundPassengerTransportation) naics.kif 8348-8348 School and employee bus transportation is a subattribute of transit and ground passenger transportation
(subAttribute TaxiAndLimousineService TransitAndGroundPassengerTransportation) naics.kif 8329-8329 Taxi and limousine service is a subattribute of transit and ground passenger transportation
(subAttribute UrbanTransitSystems TransitAndGroundPassengerTransportation) naics.kif 8289-8289 Urban transit systems is a subattribute of transit and ground passenger transportation
(termFormat ChineseLanguage TransitAndGroundPassengerTransportation "过境和地面客运") domainEnglishFormat.kif 58795-58795 "过境和地面客运" is the printable form of transit and ground passenger transportation in ChineseLanguage
(termFormat ChineseTraditionalLanguage TransitAndGroundPassengerTransportation "過境和地面客運") domainEnglishFormat.kif 58794-58794 "過境和地面客運" is the printable form of transit and ground passenger transportation in ChineseTraditionalLanguage
(termFormat EnglishLanguage TransitAndGroundPassengerTransportation "transit and ground passenger transportation") domainEnglishFormat.kif 58793-58793 "transit and ground passenger transportation" is the printable form of transit and ground passenger transportation in english language

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 8267-8287


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