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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitAndGroundPassengerTransportation

 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 8340-8342
(instance TransitAndGroundPassengerTransportation IndustryAttribute) naics.kif 8338-8338 TransitAndGroundPassengerTransportation e' uma instancia de IndustryAttribute

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


(subAttribute CharterBusIndustry TransitAndGroundPassengerTransportation) naics.kif 8431-8431 CharterBusIndustry e' um sub-atributo de TransitAndGroundPassengerTransportation
(subAttribute InterurbanAndRuralBusTransportation TransitAndGroundPassengerTransportation) naics.kif 8400-8400 InterurbanAndRuralBusTransportation e' um sub-atributo de TransitAndGroundPassengerTransportation
(subAttribute OtherTransitAndGroundPassengerTransportation TransitAndGroundPassengerTransportation) naics.kif 8437-8437 OtherTransitAndGroundPassengerTransportation e' um sub-atributo de TransitAndGroundPassengerTransportation
(subAttribute SchoolAndEmployeeBusTransportation TransitAndGroundPassengerTransportation) naics.kif 8425-8425 SchoolAndEmployeeBusTransportation e' um sub-atributo de TransitAndGroundPassengerTransportation
(subAttribute TaxiAndLimousineService TransitAndGroundPassengerTransportation) naics.kif 8406-8406 TaxiAndLimousineService e' um sub-atributo de TransitAndGroundPassengerTransportation
(subAttribute UrbanTransitSystems TransitAndGroundPassengerTransportation) naics.kif 8366-8366 UrbanTransitSystems e' um sub-atributo de TransitAndGroundPassengerTransportation
(termFormat ChineseLanguage TransitAndGroundPassengerTransportation "过境和地面客运") domainEnglishFormat.kif 58850-58850
(termFormat ChineseTraditionalLanguage TransitAndGroundPassengerTransportation "過境和地面客運") domainEnglishFormat.kif 58849-58849
(termFormat EnglishLanguage TransitAndGroundPassengerTransportation "transit and ground passenger transportation") domainEnglishFormat.kif 58848-58848

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


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