|
|
   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 | DrugStore ist eine teilkategorie von RetailStore |
| appearance as argument number 2 |
|
|
| (instance Albertsons DrugStore) | Medicine.kif 3148-3148 | Albertsons ist ein fall von DrugStore %n{nicht} |
| (instance CVSHealth DrugStore) | Medicine.kif 3134-3134 | CVSHealth ist ein fall von DrugStore %n{nicht} |
| (instance KrogerCompany DrugStore) | Medicine.kif 3145-3145 | KrogerCompany ist ein fall von DrugStore %n{nicht} |
| (instance RiteAid DrugStore) | Medicine.kif 3142-3142 | RiteAid ist ein fall von DrugStore %n{nicht} |
| (instance WalgreensCompany DrugStore) | Medicine.kif 3131-3131 | WalgreensCompany ist ein fall von DrugStore %n{nicht} |
| (instance Walmart DrugStore) | Medicine.kif 3139-3139 | Walmart ist ein fall von DrugStore %n{nicht} |
| (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 |
|
|
|
|
