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 8020-8021
(externalImage DrugStore "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Resepturmodern.jpg") pictureList.kif 4666-4666
(subclass DrugStore RetailStore) Mid-level-ontology.kif 8019-8019 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 20542-20542 Walmart is an instance of drug store
(termFormat ChineseTraditionalLanguage DrugStore "藥店") domainEnglishFormat.kif 20541-20541 Walmart is an instance of drug store
(termFormat EnglishLanguage DrugStore "drug store") domainEnglishFormat.kif 20540-20540 Walmart is an instance of drug store

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


(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 8023-8030
(=>
    (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