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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BuildingMaterialAndGardenEquipmentAndSuppliesDealers

Sigma KEE - BuildingMaterialAndGardenEquipmentAndSuppliesDealers
BuildingMaterialAndGardenEquipmentAndSuppliesDealersbuilding_material_and_garden_equipment_and_supplies_dealers

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

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))))))
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