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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeneralMerchandiseStores
GeneralMerchandiseStores

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 GeneralMerchandiseStoresIndustryAttributeinstance では %n

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


(subAttribute DepartmentStores GeneralMerchandiseStores) naics.kif 7718-7718 DepartmentStoresGeneralMerchandiseStoressubattribute では %n
(subAttribute OtherGeneralMerchandiseStores GeneralMerchandiseStores) naics.kif 7724-7724 OtherGeneralMerchandiseStoresGeneralMerchandiseStoressubattribute では %n
(termFormat ChineseLanguage GeneralMerchandiseStores "百货商店") domainEnglishFormat.kif 25722-25722
(termFormat ChineseTraditionalLanguage GeneralMerchandiseStores "百貨商店") domainEnglishFormat.kif 25721-25721
(termFormat EnglishLanguage GeneralMerchandiseStores "general merchandise stores") domainEnglishFormat.kif 25720-25720

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