Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| medicine |
| appearance as argument number 1 |
|
| (instance medicine BinaryPredicate) | Mid-level-ontology.kif 11105-11105 | medicine is an instance of binary predicate |
| (domainSubclass medicine 1 Medicine) | Mid-level-ontology.kif 11106-11106 | The number 1 argument of medicine is a subclass of medicine |
| (domain medicine 2 DiseaseOrSyndrome) | Mid-level-ontology.kif 11107-11107 | The number 2 argument of medicine is an instance of disease or syndrome |
| (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 11108-11114 | The number 2 argument of medicine is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage medicine "medicine") | Mid-level-ontology.kif 11115-11115 | |
| (format EnglishLanguage medicine "%1 is medicine for %2") | Mid-level-ontology.kif 11116-11116 |
| 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 11118-11131 | If X is medicine for Y, then All of the following hold: (1) there exists Z such that Z is an instance of medical doctor (2) Z believes there exist W, V (3) U such that U is an instance of X (4) W is an instance of therapeutic process (5) V is an instance of human (6) Z is a patient medical of V (7) U is a resource for W (8) V is a beneficiary of W |
| consequent |
|
|
| (=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D)))) |
Mid-level-ontology.kif 11137-11142 | If X is a subclass of antibiotic, then there exists Y such that Y is an instance of bacterial disease and X is medicine for Y |
| (=> (instance ?A Antiparasitic) (exists (?D ?AVM) (and (instance ?D ParasiticDisease) (medicine ?AVM ?D)))) |
Mid-level-ontology.kif 11149-11154 | If X is an instance of anti-parasitic, then there exist Y, Z such that Y is an instance of parasitic disease, and Z is medicine for Y |
| (=> (and (instance ?AVM AntiViralMedicine) (instance ?AVM ?CLASS)) (exists (?D) (and (instance ?D ViralDisease) (medicine ?CLASS ?D)))) |
VirusProteinAndCellPart.kif 1244-1251 | If X is an instance of anti viral medicine and X is an instance of Y, then there exists Z such that Z is an instance of viral disease and Y is medicine for Z |
| appearance as argument number 0 |
|
|
| (medicine Antidepressant Depression) | Medicine.kif 3241-3241 | Anti-depressant is medicine for depressed |
| (medicine Singulair Asthma) | Medicine.kif 3277-3277 | Montelukast is medicine for asthma |
| (medicine Vyvanse ADHD) | Medicine.kif 3341-3341 | Lisdexamfetamine is medicine for attention deficit hyperactivity disorder |
| (medicine Adrenaline Anaphylaxis) | Medicine.kif 6391-6391 | Epinephrine is medicine for anaphylaxis |
| (medicine Remdesivir Covid19) | VirusProteinAndCellPart.kif 1257-1257 | Veklury is medicine for Covid |
|