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 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 EnglishLanguage FurnitureAndHomeFurnishingsStores "furniture and home furnishings stores") domainEnglishFormat.kif 4631-4631

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