BuildingMaterialAndGardenEquipmentAndSuppliesDealers

appearance as argument number 1

(instance BuildingMaterialAndGardenEquipmentAndSuppliesDealers IndustryAttribute)	naics.kif 7232-7232	Building material and garden equipment and supplies dealers is an instance of industry attribute
(documentation BuildingMaterialAndGardenEquipmentAndSuppliesDealers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Building Material and Garden Equipment and Supplies Dealers.")	naics.kif 7234-7237	Building material and garden equipment and supplies dealers is an instance of industry attribute

appearance as argument number 2

(termFormat EnglishLanguage BuildingMaterialAndGardenEquipmentAndSuppliesDealers "building material and garden equipment and supplies dealers")	domainEnglishFormat.kif 12269-12269
(termFormat ChineseTraditionalLanguage BuildingMaterialAndGardenEquipmentAndSuppliesDealers "建築材料和園藝設備及用品經銷商")	domainEnglishFormat.kif 12270-12270
(termFormat ChineseLanguage BuildingMaterialAndGardenEquipmentAndSuppliesDealers "建筑材料和园艺设备及用品经销商")	domainEnglishFormat.kif 12271-12271
(subAttribute BuildingMaterialAndSuppliesDealers BuildingMaterialAndGardenEquipmentAndSuppliesDealers)	naics.kif 7257-7257	Building material and supplies dealers is a subattribute of building material and garden equipment and supplies dealers
(subAttribute LawnAndGardenEquipmentAndSuppliesStores BuildingMaterialAndGardenEquipmentAndSuppliesDealers)	naics.kif 7290-7290	Lawn and garden equipment and supplies stores is a subattribute of building material and garden equipment and supplies dealers

antecedent

(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Constructing resource ?THING)
                        (capability Agriculture resource ?THING))
                    (patient ?EV ?THING))))))

If X is an instance of organization and building material and garden equipment and supplies dealers is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing constructing as a resource or W is capable of doing agriculture as a resource (7) W is a patient of Y