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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DrugStore
DrugStore(drug store)
apothecary's_shop, chemist's, chemist's_shop, drugstore, pharmacy

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


(documentation DrugStore EnglishLanguage "A RetailStore that sells Medicine, and perhaps other items as well.") Mid-level-ontology.kif 7802-7803
(externalImage DrugStore "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Resepturmodern.jpg") pictureList.kif 4666-4666
(subclass DrugStore RetailStore) Mid-level-ontology.kif 7801-7801 Drug store is a subclass of retail store

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


(instance Albertsons DrugStore) Medicine.kif 3148-3148 Albertsons is an instance of drug store
(instance CVSHealth DrugStore) Medicine.kif 3134-3134 Consumer Value Stores is an instance of drug store
(instance KrogerCompany DrugStore) Medicine.kif 3145-3145 Kroger is an instance of drug store
(instance RiteAid DrugStore) Medicine.kif 3142-3142 RiteAid is an instance of drug store
(instance WalgreensCompany DrugStore) Medicine.kif 3131-3131 Walgreens is an instance of drug store
(instance Walmart DrugStore) Medicine.kif 3139-3139 Walmart is an instance of drug store
(termFormat ChineseLanguage DrugStore "药店") domainEnglishFormat.kif 20526-20526
(termFormat ChineseTraditionalLanguage DrugStore "藥店") domainEnglishFormat.kif 20525-20525
(termFormat EnglishLanguage DrugStore "drug store") domainEnglishFormat.kif 20524-20524

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


(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 7805-7812
(=>
    (instance ?DS DrugStore)
    (modalAttribute
        (exists (?P)
            (and
                (attribute ?P Pharmacist)
                (employs ?DS ?P))) Likely))
Medicine.kif 3122-3129


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