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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitAndGroundPassengerTransportation
TransitAndGroundPassengerTransportation

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 8347-8349
(instance TransitAndGroundPassengerTransportation IndustryAttribute) naics.kif 8345-8345

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


(subAttribute CharterBusIndustry TransitAndGroundPassengerTransportation) naics.kif 8438-8438
(subAttribute InterurbanAndRuralBusTransportation TransitAndGroundPassengerTransportation) naics.kif 8407-8407
(subAttribute OtherTransitAndGroundPassengerTransportation TransitAndGroundPassengerTransportation) naics.kif 8444-8444
(subAttribute SchoolAndEmployeeBusTransportation TransitAndGroundPassengerTransportation) naics.kif 8432-8432
(subAttribute TaxiAndLimousineService TransitAndGroundPassengerTransportation) naics.kif 8413-8413
(subAttribute UrbanTransitSystems TransitAndGroundPassengerTransportation) naics.kif 8373-8373
(termFormat ChineseLanguage TransitAndGroundPassengerTransportation "过境和地面客运") domainEnglishFormat.kif 58817-58817
(termFormat ChineseTraditionalLanguage TransitAndGroundPassengerTransportation "過境和地面客運") domainEnglishFormat.kif 58816-58816
(termFormat EnglishLanguage TransitAndGroundPassengerTransportation "transit and ground passenger transportation") domainEnglishFormat.kif 58815-58815

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 8351-8371


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