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 8969-8970
(externalImage DrugStore "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Resepturmodern.jpg") pictureList.kif 4665-4665
(subclass DrugStore RetailStore) Mid-level-ontology.kif 8968-8968 Drug store is a subclass of retail store

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


(instance Albertsons DrugStore) Medicine.kif 3149-3149 Albertsons is an instance of drug store
(instance CVSHealth DrugStore) Medicine.kif 3135-3135 Consumer Value Stores is an instance of drug store
(instance KrogerCompany DrugStore) Medicine.kif 3146-3146 Kroger is an instance of drug store
(instance RiteAid DrugStore) Medicine.kif 3143-3143 RiteAid is an instance of drug store
(instance WalgreensCompany DrugStore) Medicine.kif 3132-3132 Walgreens is an instance of drug store
(instance Walmart DrugStore) Medicine.kif 3140-3140 Walmart is an instance of drug store
(termFormat ChineseLanguage DrugStore "药店") domainEnglishFormat.kif 20535-20535 Walmart is an instance of drug store
(termFormat ChineseTraditionalLanguage DrugStore "藥店") domainEnglishFormat.kif 20534-20534 Walmart is an instance of drug store
(termFormat EnglishLanguage DrugStore "drug store") domainEnglishFormat.kif 20533-20533 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 8972-8979
(=>
    (instance ?DS DrugStore)
    (modalAttribute
        (exists (?P)
            (and
                (attribute ?P Pharmacist)
                (employs ?DS ?P))) Likely))
Medicine.kif 3123-3130


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