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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GiftNoveltyAndSouvenirStores
GiftNoveltyAndSouvenirStores(gift novelty and souvenir stores)gift_shop, novelty_shop

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


(documentation GiftNoveltyAndSouvenirStores EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Gift, Novelty, and Souvenir Stores or Gift, Novelty, and Souvenir Shops.") naics.kif 7800-7803
(subAttribute GiftNoveltyAndSouvenirStores OfficeSuppliesStationeryAndGiftStores) naics.kif 7798-7798 Gift novelty and souvenir stores is a subattribute of office supplies stationery and gift stores

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


(termFormat ChineseLanguage GiftNoveltyAndSouvenirStores "礼品新奇和纪念品商店") domainEnglishFormat.kif 26074-26074
(termFormat ChineseTraditionalLanguage GiftNoveltyAndSouvenirStores "禮品新奇和紀念品商店") domainEnglishFormat.kif 26073-26073
(termFormat EnglishLanguage GiftNoveltyAndSouvenirStores "gift novelty and souvenir stores") domainEnglishFormat.kif 26072-26072

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


(=>
    (attribute ?X GiftNoveltyAndSouvenirStores)
    (and
        (instance ?X RetailStore)
        (hasPurpose ?X
            (exists (?SELL ?OBJ)
                (and
                    (instance ?SELL Selling)
                    (agent ?SELL ?X)
                    (patient ?SELL ?OBJ)
                    (instance ?OBJ Object))))))
naics.kif 7805-7815


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