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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiscellaneousStoreRetailers

Sigma KEE - MiscellaneousStoreRetailers
MiscellaneousStoreRetailers(雜貨店零售商)

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


(documentation MiscellaneousStoreRetailers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Miscellaneous Store Retailers.") naics.kif 7748-7750
(instance MiscellaneousStoreRetailers IndustryAttribute) naics.kif 7746-7746 雜貨店零售商 and 行業屬性

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


(subAttribute Florists MiscellaneousStoreRetailers) naics.kif 7767-7767 子屬性 花店 and 雜貨店零售商
(subAttribute OfficeSuppliesStationeryAndGiftStores MiscellaneousStoreRetailers) naics.kif 7785-7785 子屬性 辦公用品文具和禮品店 and 雜貨店零售商
(subAttribute OtherMiscellaneousStoreRetailers MiscellaneousStoreRetailers) naics.kif 7824-7824 子屬性 其他雜貨店零售商 and 雜貨店零售商
(subAttribute UsedMerchandiseStores MiscellaneousStoreRetailers) naics.kif 7818-7818 子屬性 二手商品店 and 雜貨店零售商
(termFormat ChineseLanguage MiscellaneousStoreRetailers "杂货店零售商") domainEnglishFormat.kif 38015-38015
(termFormat ChineseTraditionalLanguage MiscellaneousStoreRetailers "雜貨店零售商") domainEnglishFormat.kif 38014-38014
(termFormat EnglishLanguage MiscellaneousStoreRetailers "miscellaneous store retailers") domainEnglishFormat.kif 38013-38013

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MiscellaneousStoreRetailers))
    (exists (?EV ?MEM ?THING ?ST ?P)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?P)
            (instance ?EV Selling)
            (instance ?P Human)
            (instance ?ST RetailStore)
            (eventLocated ?EV ?ST)
            (instance ?THING Object)
            (patient ?EV ?THING))))
naics.kif 7752-7765


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