Medicine
|
|
appearance as argument number 1 |
(documentation Medicine EnglishLanguage "Any BiologicallyActiveSubstance which has a therapeutic effect under certain conditions.") | Mid-level-ontology.kif 9263-9264 | |
(externalImage Medicine "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Drug_ampoule_JPN.jpg") | pictureList.kif 4777-4777 | |
(subclass Medicine BiologicallyActiveSubstance) | Mid-level-ontology.kif 9262-9262 | Medicine is a subclass of biologically active substance |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass medicine 1 Medicine) | Mid-level-ontology.kif 9667-9667 | The number 1 argument of medicine is a subclass of medicine |
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 9305-9315 |
|
(=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M)))) |
Mid-level-ontology.kif 9266-9271 |
|
consequent |