Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MotorVehicleAndPartsDealers(motor vehicle and parts dealers) |
| appearance as argument number 1 |
|
| (subAttribute MotorVehicleAndPartsDealers MotorVehicleIndustry) | Economy.kif 1936-1936 | Motor vehicle and parts dealers is a subattribute of motor vehicle industry |
| (instance MotorVehicleAndPartsDealers IndustryAttribute) | naics.kif 7014-7014 | Motor vehicle and parts dealers is an instance of industry attribute |
| (documentation MotorVehicleAndPartsDealers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Motor Vehicle and Parts Dealers.") | naics.kif 7016-7018 | Motor vehicle and parts dealers is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG MotorVehicleAndPartsDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING TransportationDevice) (exists (?DEV) (and (part ?THING ?DEV) (instance ?DEV TransportationDevice))) (patient ?EV ?THING))))))) |
naics.kif 7020-7037 | If X is an instance of organization and motor vehicle and parts dealers is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of transportation device or there exists V such that W is a part of V, and V is an instance of transportation device or W is a patient of Y |
|