Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Pharmacist
|
|
|
| appearance as argument number 1 |
|
|
| (instance Pharmacist Profession) | Mid-level-ontology.kif 20825-20825 | Pharmacist is an instance of profession |
| (documentation Pharmacist EnglishLanguage "The Profession of being a pharmacist, i.e. preparing and dispensing BiologicallyActiveSubstances.") | Mid-level-ontology.kif 20826-20827 | Pharmacist is an instance of profession |
| (externalImage Pharmacist "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ PharmacistsMortar.svg") | pictureList.kif 2510-2510 | Pharmacist is an instance of profession |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?P Prescription) (instance ?M Medicine) (refers ?P ?M)) (exists (?PHARM ?S) (and (instance ?S Selling) (objectTransferred ?S ?M) (agent ?S ?PHARM) (attribute ?S Pharmacist)))) |
Mid-level-ontology.kif 10783-10793 | If X is an instance of prescription, Y is an instance of medicine, and X includes a reference to Y, then there exist Z, W such that W is an instance of selling, the object transferred in W is Y, Z is an agent of W, and pharmacist is an attribute of W |
| (=> (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 |
|
