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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeneralMerchandiseStores

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 百货商店行业属性instance

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


(subAttribute DepartmentStores GeneralMerchandiseStores) naics.kif 7718-7718 百货商店百货商店subAttribute
(subAttribute OtherGeneralMerchandiseStores GeneralMerchandiseStores) naics.kif 7724-7724 其他百货商店百货商店subAttribute
(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 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