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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeneralMerchandiseStores
GeneralMerchandiseStores(general merchandise stores)

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


(documentation GeneralMerchandiseStores EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves General Merchandise Stores.") naics.kif 7698-7700
(instance GeneralMerchandiseStores IndustryAttribute) naics.kif 7696-7696 General merchandise stores is an instance of industry attribute

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


(subAttribute DepartmentStores GeneralMerchandiseStores) naics.kif 7718-7718 Department stores is a subattribute of general merchandise stores
(subAttribute OtherGeneralMerchandiseStores GeneralMerchandiseStores) naics.kif 7724-7724 Other general merchandise stores is a subattribute of general merchandise stores
(termFormat ChineseLanguage GeneralMerchandiseStores "百货商店") domainEnglishFormat.kif 25756-25756 Other general merchandise stores is a subattribute of general merchandise stores
(termFormat ChineseTraditionalLanguage GeneralMerchandiseStores "百貨商店") domainEnglishFormat.kif 25755-25755 Other general merchandise stores is a subattribute of general merchandise stores
(termFormat EnglishLanguage GeneralMerchandiseStores "general merchandise stores") domainEnglishFormat.kif 25754-25754 Other general merchandise stores is a subattribute of general merchandise stores

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG GeneralMerchandiseStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (instance ?THING Object)
                    (destination ?EV ?P)
                    (patient ?EV ?THING))))))
naics.kif 7702-7716


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