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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FurnitureAndHomeFurnishingsStores
FurnitureAndHomeFurnishingsStores

appearance as argument number 1
-------------------------


(documentation FurnitureAndHomeFurnishingsStores EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Furniture and Home Furnishings Stores.") naics.kif 7128-7130
(instance FurnitureAndHomeFurnishingsStores IndustryAttribute) naics.kif 7126-7126
(subAttribute FurnitureAndHomeFurnishingsStores FurnitureIndustry) Economy.kif 1758-1758

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


(subAttribute FurnitureStores FurnitureAndHomeFurnishingsStores) naics.kif 7146-7146
(subAttribute HomeFurnishingsStores FurnitureAndHomeFurnishingsStores) naics.kif 7152-7152
(termFormat ChineseLanguage FurnitureAndHomeFurnishingsStores "家具和家居用品商店") domainEnglishFormat.kif 25189-25189
(termFormat ChineseTraditionalLanguage FurnitureAndHomeFurnishingsStores "家具和家居用品商店") domainEnglishFormat.kif 25188-25188
(termFormat EnglishLanguage FurnitureAndHomeFurnishingsStores "furniture and home furnishings stores") domainEnglishFormat.kif 25187-25187

antecedent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FurnitureAndHomeFurnishingsStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Furniture)
                    (patient ?EV ?THING))))))
naics.kif 7132-7144


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