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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - BuildingMaterialAndGardenEquipmentAndSuppliesDealers

appearance as argument number 1

(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 7244-7247
(instance BuildingMaterialAndGardenEquipmentAndSuppliesDealers IndustryAttribute) naics.kif 7242-7242

appearance as argument number 2

(subAttribute BuildingMaterialAndSuppliesDealers BuildingMaterialAndGardenEquipmentAndSuppliesDealers) naics.kif 7267-7267
(subAttribute LawnAndGardenEquipmentAndSuppliesStores BuildingMaterialAndGardenEquipmentAndSuppliesDealers) naics.kif 7300-7300
(termFormat EnglishLanguage BuildingMaterialAndGardenEquipmentAndSuppliesDealers "building material and garden equipment and supplies dealers") domainEnglishFormat.kif 2468-2468


        (instance ?ORG Organization)
        (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
    (exists (?EV ?MEM)
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                    (instance ?EV Selling)
                    (instance ?THING Object)
                        (capability Constructing resource ?THING)
                        (capability Agriculture resource ?THING))
                    (patient ?EV ?THING))))))
naics.kif 7249-7264

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners