| 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 est une sous-classe de RetailStore |
| appearance as argument number 2 |
|
|
| (instance Albertsons DrugStore) | Medicine.kif 3148-3148 | Albertsons est une instance de DrugStore |
| (instance CVSHealth DrugStore) | Medicine.kif 3134-3134 | CVSHealth est une instance de DrugStore |
| (instance KrogerCompany DrugStore) | Medicine.kif 3145-3145 | KrogerCompany est une instance de DrugStore |
| (instance RiteAid DrugStore) | Medicine.kif 3142-3142 | RiteAid est une instance de DrugStore |
| (instance WalgreensCompany DrugStore) | Medicine.kif 3131-3131 | WalgreensCompany est une instance de DrugStore |
| (instance Walmart DrugStore) | Medicine.kif 3139-3139 | Walmart est une instance de DrugStore |
| (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 |
|
|
|