Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
DrugStore(drug store)
|  | apothecary's_shop, chemist's, chemist's_shop, drugstore, pharmacy |
| appearance as argument number 1 |
|
|
| (subclass DrugStore RetailStore) | Mid-level-ontology.kif 9122-9122 | Drug store is a subclass of retail store |
| (documentation DrugStore EnglishLanguage "A RetailStore that sells Medicine, and perhaps other items as well.") | Mid-level-ontology.kif 9123-9124 | Drug store is a subclass of retail store |
| (externalImage DrugStore "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Resepturmodern.jpg") | pictureList.kif 4665-4665 | Drug store is a subclass of retail store |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?D DrugStore) (exists (?S ?M) (and (instance ?S Selling) (agent ?S ?D) (patient ?S ?M) (instance ?M Medicine)))) |
Mid-level-ontology.kif 9126-9133 | If X is an instance of drug store, then there exist Y, Z such that Y is an instance of selling, X is an agent of Y, Z is a patient of Y, and Z is an instance of medicine |
| (=> (instance ?DS DrugStore) (modalAttribute (exists (?P) (and (attribute ?P Pharmacist) (employs ?DS ?P))) Likely)) |
Medicine.kif 3128-3135 | If X is an instance of drug store, then the statement there exists Y such that pharmacist is an attribute of Y and X employs Y has the modal force of likely |
| consequent |
|
|
| (=> (instance ?DSC DrugStoreChain) (and (instance ?DSC CollectionOfObjects) (member ?DS ?DSC) (instance ?DS DrugStore))) |
Society.kif 467-472 | If X is an instance of DrugStoreChain, then X is an instance of collection, Y is a member of X, and Y is an instance of drug store |
|