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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7755-7757
(instance MiscellaneousStoreRetailers IndustryAttribute) naics.kif 7753-7753 instance MiscellaneousStoreRetailers and IndustryAttribute

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


(subAttribute Florists MiscellaneousStoreRetailers) naics.kif 7774-7774 subAttribute Florists and MiscellaneousStoreRetailers
(subAttribute OfficeSuppliesStationeryAndGiftStores MiscellaneousStoreRetailers) naics.kif 7792-7792 subAttribute OfficeSuppliesStationeryAndGiftStores and MiscellaneousStoreRetailers
(subAttribute OtherMiscellaneousStoreRetailers MiscellaneousStoreRetailers) naics.kif 7831-7831 subAttribute OtherMiscellaneousStoreRetailers and MiscellaneousStoreRetailers
(subAttribute UsedMerchandiseStores MiscellaneousStoreRetailers) naics.kif 7825-7825 subAttribute UsedMerchandiseStores and MiscellaneousStoreRetailers
(termFormat ChineseLanguage MiscellaneousStoreRetailers "杂货店零售商") domainEnglishFormat.kif 37939-37939 termFormat ChineseLanguage, MiscellaneousStoreRetailers and "杂货店零售商"
(termFormat ChineseTraditionalLanguage MiscellaneousStoreRetailers "雜貨店零售商") domainEnglishFormat.kif 37938-37938 termFormat ChineseTraditionalLanguage, MiscellaneousStoreRetailers and "雜貨店零售商"
(termFormat EnglishLanguage MiscellaneousStoreRetailers "miscellaneous store retailers") domainEnglishFormat.kif 37937-37937 termFormat EnglishLanguage, MiscellaneousStoreRetailers and "miscellaneous store retailers"

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MiscellaneousStoreRetailers))
    (exists (?EV ?MEM ?THING ?ST)
        (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 7759-7772


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