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 e' uma sub-classe de Texto |
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 |
(=> (attribute ?X USNonPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 9317-9329 |
|
(=> (attribute ?X USPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Illegal)) |
Mid-level-ontology.kif 9295-9307 |
|