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 は IndustryAttribute の instance では %n |
appearance as argument number 2 |
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 |
|