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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseTreatment
diseaseTreatment

appearance as argument number 1
-------------------------


(documentation diseaseTreatment EnglishLanguage "(diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) means that the BiologicallyActiveSubstance ?SUBSTANCE is effective in the treatment of the DiseaseOrSyndrome ?DISEASE when administered via the Process ?PROCESS, i.e. it has been demonstrated (in a significant sample of patients) to cure the ?DISEASE or at least reduce the severity of symptoms associated with the ?DISEASE.") WMD.kif 893-897
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 890-890 domain diseaseTreatment, 1 and DiseaseOrSyndrome
(domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) WMD.kif 891-891 domainSubclass diseaseTreatment, 2 and BiologicallyActiveSubstance
(domainSubclass diseaseTreatment 3 Process) WMD.kif 892-892 domainSubclass diseaseTreatment, 3 and Process
(instance diseaseTreatment TernaryPredicate) WMD.kif 889-889 instance diseaseTreatment and TernaryPredicate

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


(format ChineseLanguage diseaseTreatment "%1 %p{是} %n{不是} 对于 %3 的 dis​​ease 治愈 %2") domainEnglishFormat.kif 780-780
(format ChineseTraditionalLanguage diseaseTreatment "%1 %p{是} %n{不是} 對於 %3 的 disease 治癒 %2 ") domainEnglishFormat.kif 779-779
(format EnglishLanguage diseaseTreatment "%1 %p{is} %n{isn't} disease treatment %2 for %3") domainEnglishFormat.kif 778-778
(termFormat ChineseLanguage diseaseTreatment "疾病治疗") domainEnglishFormat.kif 19753-19753 termFormat ChineseLanguage, diseaseTreatment and "疾病治疗"
(termFormat ChineseTraditionalLanguage diseaseTreatment "疾病治療") domainEnglishFormat.kif 19752-19752 termFormat ChineseTraditionalLanguage, diseaseTreatment and "疾病治療"
(termFormat EnglishLanguage diseaseTreatment "disease treatment") domainEnglishFormat.kif 19751-19751 termFormat EnglishLanguage, diseaseTreatment and "disease treatment"

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


(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))		 WMD.kif 912-916
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))		 WMD.kif 918-922
(=>
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
    (=>
        (holdsDuring ?TIME
            (attribute ?ORGANISM ?DISEASE))
        (increasesLikelihood
            (exists (?SAMPLE)
                (and
                    (temporalPart
                        (WhenFn ?PROCESS) ?TIME)
                    (experiencer ?PROCESS ?ORGANISM)
                    (patient ?PROCESS ?SAMPLE)
                    (instance ?SAMPLE ?SUBSTANCE)))
            (holdsDuring
                (ImmediateFutureFn ?TIME)
                (not
                    (attribute ?ORGANISM ?DISEASE))))))		 WMD.kif 899-910
(=>
    (diseaseTreatment ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))		 WMD.kif 1186-1188
(=>
    (diseaseTreatment ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (instance ?PROCESS Putting)))		 WMD.kif 1234-1238
(=>
    (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))		 WMD.kif 1200-1202
(=>
    (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))		 WMD.kif 1227-1229

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


(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))		 WMD.kif 912-916
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))		 WMD.kif 918-922
(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseTreatment ?DISEASE Antibiotic ?PROCESS))))		 WMD.kif 1190-1194

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


(diseaseTreatment Anthrax Ciprofloxacin Ingesting) WMD.kif 1059-1059 diseaseTreatment Anthrax, Ciprofloxacin and Ingesting
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1058-1058 diseaseTreatment Anthrax, Doxycycline and Ingesting
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 diseaseTreatment BurkholderiaMallei, Ciprofloxacin and Ingesting
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 diseaseTreatment LouseBorneTyphus, OralAntibiotic and Ingesting
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1438-1438 diseaseTreatment Pertussis, Antibiotic and Ingesting
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 diseaseTreatment RockyMountainSpottedFever, OralAntibiotic and Ingesting
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1592-1592 diseaseTreatment Tuberculosis, OralAntibiotic and Ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1271-1271 diseaseTreatment TyphoidFever, Antibiotic and Ingesting


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners