DrugStore
|
|
appearance as argument number 1 |
(documentation DrugStore EnglishLanguage "A RetailStore that sells Medicine, and perhaps other items as well.") | Mid-level-ontology.kif 7801-7802 | |
(externalImage DrugStore "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Resepturmodern.jpg") | pictureList.kif 4666-4666 | |
(subclass DrugStore RetailStore) | Mid-level-ontology.kif 7800-7800 | 药店 是 零售店 的 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 7804-7811 | |
(=> (instance ?DS DrugStore) (modalAttribute (exists (?P) (and (attribute ?P Pharmacist) (employs ?DS ?P))) Likely)) |
Medicine.kif 3122-3129 |