Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 9641-9647
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 9640-9640
(domainSubclass medicine 1 Medicine) Mid-level-ontology.kif 9639-9639
(instance medicine BinaryPredicate) Mid-level-ontology.kif 9638-9638

appearance as argument number 2

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


    (medicine ?MC ?D)
    (exists (?DOC)
            (instance ?DOC MedicalDoctor)
            (believes ?DOC
                (exists (?T ?H ?M)
                        (instance ?M ?MC)
                        (instance ?T TherapeuticProcess)
                        (instance ?H Human)
                        (patientMedical ?H ?DOC)
                        (resource ?T ?M)
                        (benefits ?T ?H)))))))
Mid-level-ontology.kif 9651-9664


        (instance ?AVM AntiViralMedicine)
        (instance ?AVM ?CLASS))
    (exists (?D)
            (instance ?D ViralDisease)
            (medicine ?CLASS ?D))))
VirusProteinAndCellPart.kif 1257-1264
    (instance ?A Antiparasitic)
    (exists (?D ?AVM)
            (instance ?D ParasiticDisease)
            (medicine ?AVM ?D))))
Mid-level-ontology.kif 9682-9687
    (subclass ?A Antibiotic)
    (exists (?D)
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))
Mid-level-ontology.kif 9670-9675

appearance as argument number 0

(medicine Adrenaline Analphylaxis) Medicine.kif 6359-6359
(medicine Antidepressant Depression) Mid-level-ontology.kif 9692-9692
(medicine Remdesivir Covid19) VirusProteinAndCellPart.kif 1269-1269
(medicine Singulair Asthma) Medicine.kif 3246-3246
(medicine Vyvanse ADHD) Medicine.kif 3310-3310

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