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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FurnitureAndHomeFurnishingsStores
FurnitureAndHomeFurnishingsStores(furniture and home furnishings stores)

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 Furniture and home furnishings stores is an instance of industry attribute
(subAttribute FurnitureAndHomeFurnishingsStores FurnitureIndustry) Economy.kif 1758-1758 Furniture and home furnishings stores is a subattribute of furniture industry

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


(subAttribute FurnitureStores FurnitureAndHomeFurnishingsStores) naics.kif 7146-7146 Furniture stores is a subattribute of furniture and home furnishings stores
(subAttribute HomeFurnishingsStores FurnitureAndHomeFurnishingsStores) naics.kif 7152-7152 Home furnishings stores is a subattribute of furniture and home furnishings stores
(termFormat ChineseLanguage FurnitureAndHomeFurnishingsStores "家具和家居用品商店") domainEnglishFormat.kif 25192-25192
(termFormat ChineseTraditionalLanguage FurnitureAndHomeFurnishingsStores "家具和家居用品商店") domainEnglishFormat.kif 25191-25191
(termFormat EnglishLanguage FurnitureAndHomeFurnishingsStores "furniture and home furnishings stores") domainEnglishFormat.kif 25190-25190

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 3.0 is open source software produced by Articulate Software and its partners