medicine |
appearance as argument number 1 |
(documentation medicine EnglishLanguage "A Relation between a Medicine and a DiseaseOrSyndrome that is believed to be treatable by that medicine. Note that due to the complexity of biology, the causes of various maladies may not be completely known and treatments can be used based simply on a preponderance of evidence of co-occurrence rather than complete causal models of efficacy, so this relation does not entail a commitment that a disease is actually treated effectively. It does however commit to belief in the treatment by a MedicalDoctor.") | Mid-level-ontology.kif 9669-9675 | |
(domain medicine 2 DiseaseOrSyndrome) | Mid-level-ontology.kif 9668-9668 | Il numero 2 argomenti di medicine è un istanza di MalattiaOSindrome |
(domainSubclass medicine 1 Medicine) | Mid-level-ontology.kif 9667-9667 | Il numero 1 argomento medicine è una sottoclasse diMedicine |
(instance medicine BinaryPredicate) | Mid-level-ontology.kif 9666-9666 | medicine è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format EnglishLanguage medicine "%1 is medicine for %2") | Mid-level-ontology.kif 9677-9677 | |
(termFormat EnglishLanguage medicine "medicine") | Mid-level-ontology.kif 9676-9676 |
antecedent |
(=> (medicine ?MC ?D) (exists (?DOC) (and (instance ?DOC MedicalDoctor) (believes ?DOC (exists (?T ?H ?M) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (instance ?H Human) (patientMedical ?H ?DOC) (resource ?T ?M) (benefits ?T ?H))))))) |
Mid-level-ontology.kif 9679-9692 |
|
consequent |
(=> (and (instance ?AVM AntiViralMedicine) (instance ?AVM ?CLASS)) (exists (?D) (and (instance ?D ViralDisease) (medicine ?CLASS ?D)))) |
VirusProteinAndCellPart.kif 1259-1266 |
|
(=> (instance ?A Antiparasitic) (exists (?D ?AVM) (and (instance ?D ParasiticDisease) (medicine ?AVM ?D)))) |
Mid-level-ontology.kif 9710-9715 |
|
(=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D)))) |
Mid-level-ontology.kif 9698-9703 |
|
appearance as argument number 0 |
(medicine Adrenaline Analphylaxis) | Medicine.kif 6359-6359 | medicine Adrenaline and Analphylaxis |
(medicine Antidepressant Depression) | Mid-level-ontology.kif 9720-9720 | medicine Antidepressant and Depression |
(medicine Remdesivir Covid19) | VirusProteinAndCellPart.kif 1271-1271 | medicine Remdesivir and Covid19 |
(medicine Singulair Asthma) | Medicine.kif 3246-3246 | medicine Singulair and Asthma |
(medicine Vyvanse ADHD) | Medicine.kif 3310-3310 | medicine Vyvanse and ADHD |