Prescription(prescription) |
appearance as argument number 1 |
(documentation Prescription EnglishLanguage "Instructions to a Pharmacist and patient concerning Medicines and possibly their dosage and schedule, to be taken by the patient.") | Mid-level-ontology.kif 9265-9267 | |
(subclass Prescription Text) | Mid-level-ontology.kif 9264-9264 | Prescription is a subclass of text |
appearance as argument number 2 |
(termFormat EnglishLanguage Prescription "prescription") | Mid-level-ontology.kif 9268-9268 |
antecedent |
(=> (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 9277-9287 |
|
(=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M)))) |
Mid-level-ontology.kif 9270-9275 |
|
consequent |