MiscellaneousStoreRetailers |
appearance as argument number 1 |
![]() |
(documentation MiscellaneousStoreRetailers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Miscellaneous Store Retailers.") | naics.kif 7748-7750 | |
(instance MiscellaneousStoreRetailers IndustryAttribute) | naics.kif 7746-7746 | MiscellaneousStoreRetailers は IndustryAttribute の instance では |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?ORG Organization) (attribute ?ORG MiscellaneousStoreRetailers)) (exists (?EV ?MEM ?THING ?ST ?P) (and (member ?MEM ?ORG) (agent ?EV ?P) (instance ?EV Selling) (instance ?P Human) (instance ?ST RetailStore) (eventLocated ?EV ?ST) (instance ?THING Object) (patient ?EV ?THING)))) |
naics.kif 7752-7765 |
|
![]() |
![]() |