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

Formal Language: 



KB Term:  Term intersection
English Word: 

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.") VirusProteinAndCellPart.kif 744-750
(domain medicine 2 DiseaseOrSyndrome) VirusProteinAndCellPart.kif 743-743
(domainSubclass medicine 1 Medicine) VirusProteinAndCellPart.kif 742-742
(instance medicine BinaryRelation) VirusProteinAndCellPart.kif 741-741

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


(format EnglishLanguage medicine "%1 is medicine for %2") VirusProteinAndCellPart.kif 752-752
(termFormat EnglishLanguage medicine "medicine") VirusProteinAndCellPart.kif 751-751

antecedent
-------------------------


(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (believes ?DOC
            (exists (?T ?H)
                (and
                    (instance ?M ?MC)
                    (instance ?T TherapeuticProcess)
                    (resource ?T ?M)
                    (benefits ?T ?H))))))
VirusProteinAndCellPart.kif 754-763

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


(=>
    (instance ?A Antiparasitic)
    (exists (?D)
        (and
            (instance ?D ParasiticDisease)
            (medicine ?AVM ?D))))
Mid-level-ontology.kif 9056-9061
(=>
    (instance ?AVM AntiViralMedicine)
    (exists (?D)
        (and
            (instance ?D ViralDisease)
            (medicine ?AVM ?D))))
VirusProteinAndCellPart.kif 769-774
(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))
Mid-level-ontology.kif 9044-9049