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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RetailStore

Sigma KEE - RetailStore
RetailStore(retail store)betting_shop, bodega, boutique, chain_store, clothing_store, department_store, dress_shop, emporium, haberdashery, haberdashery_store, mens_store, mercantile_establishment, outfitter, outlet, retail_store, sales_outlet, shoe-shop, shoe_shop, shoe_store, shop, specialty_store, store, strip_mall

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


(disjoint RetailStore WholesaleStore) Mid-level-ontology.kif 7766-7766 Retail store is disjoint from wholesale store
(documentation RetailStore EnglishLanguage "A RetailStore is a MercantileOrganization that sells goods to customers who are end-point consumers, rather than to CommercialAgents who are buying the goods in order to resell them at a higher price. This distinguishes retail stores from wholesale establishments, where the purchasers are businesses or their representatives, as well as mail order or office buildings where transactions are facillitated but the consumer does not take possession of the item on the premises. More succinctly, RetailStore is the complement of WholesaleStore, which is the class of MercantileOrganizations that sell goods to the general public.") Mid-level-ontology.kif 7768-7779
(subclass RetailStore MercantileOrganization) Mid-level-ontology.kif 7765-7765 Retail store is a subclass of mercantile organization

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


(instance Walmart RetailStore) Medicine.kif 5190-5190 Walmart is an instance of retail store
(subclass BookStore RetailStore) Media.kif 1678-1678 Book store is a subclass of retail store
(subclass DrugStore RetailStore) Mid-level-ontology.kif 7801-7801 Drug store is a subclass of retail store
(subclass GroceryStore RetailStore) Mid-level-ontology.kif 7814-7814 Grocery store is a subclass of retail store
(termFormat ChineseLanguage RetailStore "零售店") domainEnglishFormat.kif 49814-49814
(termFormat ChineseTraditionalLanguage RetailStore "零售店") domainEnglishFormat.kif 49813-49813
(termFormat EnglishLanguage RetailStore "retail store") domainEnglishFormat.kif 49812-49812

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


(=>
    (and
        (instance ?SM StripMall)
        (instance ?RS1 RetailStore)
        (part ?RS1 ?SM)
        (instance ?RS2 RetailStore)
        (part ?RS2 ?SM)
        (not
            (equal ?RS1 ?RS2)))
    (not
        (exists (?H)
            (and
                (instance ?H Hallway)
                (connects ?RS1 ?H ?RS2)))))
Medicine.kif 5132-5145
(=>
    (and
        (instance ?SM StripMall)
        (instance ?RS1 RetailStore)
        (part ?RS1 ?SM))
    (exists (?PL)
        (and
            (instance ?PL ParkingLot)
            (orientation ?RS1 ?PL Adjacent))))
Medicine.kif 5147-5155
(=>
    (instance ?X RetailStore)
    (and
        (capability Selling agent ?X)
        (exists (?P ?EV)
            (and
                (instance ?EV Selling)
                (destination ?EV ?P)
                (instance ?P Human)))))
Mid-level-ontology.kif 7781-7789

consequent
-------------------------


(=>
    (and
        (instance ?M ShoppingMall)
        (member ?S ?M))
    (instance ?S RetailStore))
Mid-level-ontology.kif 7795-7799
(=>
    (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
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG NonstoreRetailers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (instance ?THING Object)
                    (not
                        (eventLocated ?EV RetailStore))
                    (destination ?EV ?P)
                    (patient ?EV ?THING))))))
naics.kif 7877-7893
(=>
    (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 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