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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DrugStore
DrugStore

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


(documentation DrugStore EnglishLanguage "A RetailStore that sells Medicine, and perhaps other items as well.") Mid-level-ontology.kif 7829-7830
(externalImage DrugStore "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Resepturmodern.jpg") pictureList.kif 4666-4666
(subclass DrugStore RetailStore) Mid-level-ontology.kif 7828-7828

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


(instance Albertsons DrugStore) Medicine.kif 3148-3148
(instance CVSHealth DrugStore) Medicine.kif 3134-3134
(instance KrogerCompany DrugStore) Medicine.kif 3145-3145
(instance RiteAid DrugStore) Medicine.kif 3142-3142
(instance WalgreensCompany DrugStore) Medicine.kif 3131-3131
(instance Walmart DrugStore) Medicine.kif 3139-3139
(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 7832-7839
(=>
    (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