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

Formal Language: 



KB Term:  Term intersection
English Word: 

  medicine

Sigma KEE - medicine
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 9642-9648
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 9641-9641 medicine の数値 2 引数は 病気または症候群instance では %n
(domainSubclass medicine 1 Medicine) Mid-level-ontology.kif 9640-9640 medicine の数値 1 引数は Medicinesubclass では %n
(instance medicine BinaryPredicate) Mid-level-ontology.kif 9639-9639 medicine2進述語instance では %n

appearance as argument number 2
-------------------------


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

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 9652-9665

consequent
-------------------------


(=>
    (and
        (instance ?AVM AntiViralMedicine)
        (instance ?AVM ?CLASS))
    (exists (?D)
        (and
            (instance ?D ViralDisease)
            (medicine ?CLASS ?D))))
VirusProteinAndCellPart.kif 1258-1265
(=>
    (instance ?A Antiparasitic)
    (exists (?D ?AVM)
        (and
            (instance ?D ParasiticDisease)
            (medicine ?AVM ?D))))
Mid-level-ontology.kif 9683-9688
(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))
Mid-level-ontology.kif 9671-9676

appearance as argument number 0
-------------------------


(medicine Adrenaline Analphylaxis) Medicine.kif 6359-6359 medicine Adrenaline and Analphylaxis
(medicine Antidepressant Depression) Mid-level-ontology.kif 9693-9693 medicine Antidepressant and Depression
(medicine Remdesivir Covid19) VirusProteinAndCellPart.kif 1270-1270 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)

Show without tree


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