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 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 药店零售店subclass

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


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