TreeView 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 9669-9675
(domain medicine 2 DiseaseOrSyndrome)	Mid-level-ontology.kif 9668-9668	O argumento numero 2 de medicine e' uma instancia de Doenca ou Sindrome
(domainSubclass medicine 1 Medicine)	Mid-level-ontology.kif 9667-9667	O argumento numero 1 de medicine e' uma sub-classe de Medicine
(instance medicine BinaryPredicate)	Mid-level-ontology.kif 9666-9666	medicine e' uma instancia de Predicado Binario

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

medicine Medicine and Doenca ou Sindrome
Doenca ou SindromeOC Doenca ou SindromeOC e' uma instancia de MedicalDoctor Doenca ou SindromeOC acredita que Entidade Entidade and Entidade Entidade e' uma instancia de Medicine Entidade e' uma instancia de Processo Terapeutico Entidade e' uma instancia de Humano patientMedical Entidade and Doenca ou SindromeOC Entidade e' um recurso para Entidade benefits Entidade and Entidade

consequent

(=> (and (instance ?AVM AntiViralMedicine) (instance ?AVM ?CLASS)) (exists (?D) (and (instance ?D ViralDisease) (medicine ?CLASS ?D))))	VirusProteinAndCellPart.kif 1259-1266	Entidade e' uma instancia de AntiViralMedicine Entidade e' uma instancia de Medicine Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de ViralDisease medicine Medicine and Doenca ou Sindrome
(=> (instance ?A Antiparasitic) (exists (?D ?AVM) (and (instance ?D ParasiticDisease) (medicine ?AVM ?D))))	Mid-level-ontology.kif 9710-9715	Entidade e' uma instancia de Antiparasitic Doenca ou Sindrome EntidadeVM Doenca ou Sindrome e' uma instancia de ParasiticDisease medicine EntidadeVM and Doenca ou Sindrome
(=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D))))	Mid-level-ontology.kif 9698-9703	Medicine e' uma sub-classe de Antibiotic Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de BacterialDisease medicine Medicine and Doenca ou Sindrome

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

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

KB Term:			Term intersection

English Word: