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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FurnitureAndHomeFurnishingsStores

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 7121-7123
(instance FurnitureAndHomeFurnishingsStores IndustryAttribute) naics.kif 7119-7119 家具和家居用品商店行业属性instance
(subAttribute FurnitureAndHomeFurnishingsStores FurnitureIndustry) Economy.kif 1754-1754 家具和家居用品商店家具业subAttribute

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


(subAttribute FurnitureStores FurnitureAndHomeFurnishingsStores) naics.kif 7139-7139 家具店家具和家居用品商店subAttribute
(subAttribute HomeFurnishingsStores FurnitureAndHomeFurnishingsStores) naics.kif 7145-7145 家居用品商店家具和家居用品商店subAttribute
(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 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 3.0 is open source software produced by Articulate Software and its partners