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 931-935
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 928-928 疾病治疗 的 1 数量 是 疾病或综合症instance
(domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) WMD.kif 929-929 疾病治疗 的 2 数量 是 生物活性物质subclass
(domainSubclass diseaseTreatment 3 Process) WMD.kif 930-930 疾病治疗 的 3 数量 是 过程subclass
(instance diseaseTreatment TernaryPredicate) WMD.kif 927-927 疾病治疗三元谓语instance

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 19815-19815
(termFormat ChineseTraditionalLanguage diseaseTreatment "疾病治療") domainEnglishFormat.kif 19814-19814
(termFormat EnglishLanguage diseaseTreatment "disease treatment") domainEnglishFormat.kif 19813-19813

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


(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 950-954
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))
WMD.kif 956-960
(=>
    (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 937-948
(=>
    (diseaseTreatment ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))
WMD.kif 1265-1267
(=>
    (diseaseTreatment ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (instance ?PROCESS Putting)))
WMD.kif 1313-1317
(=>
    (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))
WMD.kif 1279-1281
(=>
    (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))
WMD.kif 1306-1308

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


(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 950-954
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))
WMD.kif 956-960
(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseTreatment ?DISEASE Antibiotic ?PROCESS))))
WMD.kif 1269-1273

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


(diseaseTreatment Anthrax Ciprofloxacin Ingesting) WMD.kif 1132-1132 炭疽病 是 对于 消化dis​​ease 治愈 环丙沙星
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1131-1131 炭疽病 是 对于 消化dis​​ease 治愈 多西环素
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 Burkholderia mallei 是 对于 消化dis​​ease 治愈 环丙沙星
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 虱传斑疹伤寒 是 对于 消化dis​​ease 治愈 口服抗生素
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1570-1570 百日咳 是 对于 消化dis​​ease 治愈 抗生素
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 落基山斑疹热 是 对于 消化dis​​ease 治愈 口服抗生素
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1723-1723 结核 是 对于 消化dis​​ease 治愈 口服抗生素
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1350-1350 伤寒 是 对于 消化dis​​ease 治愈 抗生素


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