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

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


(subAttribute FurnitureStores FurnitureAndHomeFurnishingsStores) naics.kif 7139-7139 Furniture stores is a subattribute of furniture and home furnishings stores
(subAttribute HomeFurnishingsStores FurnitureAndHomeFurnishingsStores) naics.kif 7145-7145 Home furnishings stores is a subattribute of furniture and home furnishings stores
(termFormat ChineseLanguage FurnitureAndHomeFurnishingsStores "家具和家居用品商店") domainEnglishFormat.kif 25256-25256
(termFormat ChineseTraditionalLanguage FurnitureAndHomeFurnishingsStores "家具和家居用品商店") domainEnglishFormat.kif 25255-25255
(termFormat EnglishLanguage FurnitureAndHomeFurnishingsStores "furniture and home furnishings stores") domainEnglishFormat.kif 25254-25254

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 7125-7137


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