medicine - Sigma Knowledge base Browser

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 10538-10544
(domain medicine 2 DiseaseOrSyndrome)	Mid-level-ontology.kif 10537-10537	The number 2 argument of medicine is an instance of disease or syndrome
(domainSubclass medicine 1 Medicine)	Mid-level-ontology.kif 10536-10536	The number 1 argument of medicine is a subclass of medicine
(instance medicine BinaryPredicate)	Mid-level-ontology.kif 10535-10535	medicine is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage medicine "%1 is medicine for %2")	Mid-level-ontology.kif 10546-10546
(termFormat EnglishLanguage medicine "medicine")	Mid-level-ontology.kif 10545-10545

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 10548-10561

If a kind of medicine is medicine for a disease or syndrome,
then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity

consequent

(=> (and (instance ?AVM AntiViralMedicine) (instance ?AVM ?CLASS)) (exists (?D) (and (instance ?D ViralDisease) (medicine ?CLASS ?D))))	VirusProteinAndCellPart.kif 1259-1266	If an entity is an instance of anti viral medicine and the entity is an instance of a kind of medicine, then there exists a disease or syndrome such that the disease or syndrome is an instance of viral disease and a kind of medicine is medicine for the disease or syndrome
(=> (instance ?A Antiparasitic) (exists (?D ?AVM) (and (instance ?D ParasiticDisease) (medicine ?AVM ?D))))	Mid-level-ontology.kif 10579-10584	If an entity is an instance of anti_parasitic, then there exist a disease or syndrome and the entityVM such that the disease or syndrome is an instance of parasitic disease and the entityVM is medicine for the disease or syndrome
(=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D))))	Mid-level-ontology.kif 10567-10572	If a kind of medicine is a subclass of antibiotic, then there exists a disease or syndrome such that the disease or syndrome is an instance of bacterial disease and a kind of medicine is medicine for the disease or syndrome

appearance as argument number 0

(medicine Adrenaline Analphylaxis)	Medicine.kif 6343-6343	Epinephrine is medicine for Analphylaxis
(medicine Antidepressant Depression)	Mid-level-ontology.kif 10589-10589	Anti_depressant is medicine for depressed
(medicine Remdesivir Covid19)	VirusProteinAndCellPart.kif 1271-1271	Veklury is medicine for Covid
(medicine Singulair Asthma)	Medicine.kif 3234-3234	Montelukast is medicine for asthma
(medicine Vyvanse ADHD)	Medicine.kif 3298-3298	Lisdexamfetamine is medicine for attention deficit hyperactivity disorder

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: