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

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


(instance Albertsons DrugStore) Medicine.kif 3136-3136 Albertsons is an instance of drug store
(instance CVSHealth DrugStore) Medicine.kif 3122-3122 Consumer Value Stores is an instance of drug store
(instance KrogerCompany DrugStore) Medicine.kif 3133-3133 Kroger is an instance of drug store
(instance RiteAid DrugStore) Medicine.kif 3130-3130 RiteAid is an instance of drug store
(instance WalgreensCompany DrugStore) Medicine.kif 3119-3119 Walgreens is an instance of drug store
(instance Walmart DrugStore) Medicine.kif 3127-3127 Walmart is an instance of drug store
(termFormat ChineseLanguage DrugStore "药店") domainEnglishFormat.kif 20541-20541 Walmart is an instance of drug store
(termFormat ChineseTraditionalLanguage DrugStore "藥店") domainEnglishFormat.kif 20540-20540 Walmart is an instance of drug store
(termFormat EnglishLanguage DrugStore "drug store") domainEnglishFormat.kif 20539-20539 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 8578-8585
(=>
    (instance ?DS DrugStore)
    (modalAttribute
        (exists (?P)
            (and
                (attribute ?P Pharmacist)
                (employs ?DS ?P))) Likely))
Medicine.kif 3110-3117


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