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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BuildingMaterialAndGardenEquipmentAndSuppliesDealers
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 7237-7240
(instance BuildingMaterialAndGardenEquipmentAndSuppliesDealers IndustryAttribute) naics.kif 7235-7235 建筑材料和园艺设备及用品经销商行业属性instance

appearance as argument number 2
-------------------------


(subAttribute BuildingMaterialAndSuppliesDealers BuildingMaterialAndGardenEquipmentAndSuppliesDealers) naics.kif 7260-7260 建筑材料和用品经销商建筑材料和园艺设备及用品经销商subAttribute
(subAttribute LawnAndGardenEquipmentAndSuppliesStores BuildingMaterialAndGardenEquipmentAndSuppliesDealers) naics.kif 7293-7293 草坪和园艺设备和用品商店建筑材料和园艺设备及用品经销商subAttribute
(termFormat ChineseLanguage BuildingMaterialAndGardenEquipmentAndSuppliesDealers "建筑材料和园艺设备及用品经销商") domainEnglishFormat.kif 12266-12266
(termFormat ChineseTraditionalLanguage BuildingMaterialAndGardenEquipmentAndSuppliesDealers "建築材料和園藝設備及用品經銷商") domainEnglishFormat.kif 12265-12265
(termFormat EnglishLanguage BuildingMaterialAndGardenEquipmentAndSuppliesDealers "building material and garden equipment and supplies dealers") domainEnglishFormat.kif 12264-12264

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 7242-7257


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners