diseaseMedicine |
appearance as argument number 1 |
(documentation diseaseMedicine EnglishLanguage "(diseaseMedicine ?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 935-939 | |
(domain diseaseMedicine 1 DiseaseOrSyndrome) | WMD.kif 932-932 | Il numero 1 argomenti di diseaseMedicine è un istanza di MalattiaOSindrome |
(domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) | WMD.kif 933-933 | Il numero 2 argomento diseaseMedicine è una sottoclasse diSostanzaBiologicamenteAttiva |
(domainSubclass diseaseMedicine 3 Process) | WMD.kif 934-934 | Il numero 3 argomento diseaseMedicine è una sottoclasse diProcesso |
(instance diseaseMedicine TernaryPredicate) | WMD.kif 931-931 | diseaseMedicine è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage diseaseMedicine "%1 %p{是} %n{不是} 对于 %3 的 disease 治愈 %2") | domainEnglishFormat.kif 780-780 | |
(format ChineseTraditionalLanguage diseaseMedicine "%1 %p{是} %n{不是} 對於 %3 的 disease 治癒 %2 ") | domainEnglishFormat.kif 779-779 | |
(format EnglishLanguage diseaseMedicine "%1 %p{is} %n{isn't} disease treatment %2 for %3") | domainEnglishFormat.kif 778-778 | |
(termFormat ChineseLanguage diseaseMedicine "疾病治疗") | domainEnglishFormat.kif 19824-19824 | |
(termFormat ChineseTraditionalLanguage diseaseMedicine "疾病治療") | domainEnglishFormat.kif 19823-19823 | |
(termFormat EnglishLanguage diseaseMedicine "disease treatment") | domainEnglishFormat.kif 19822-19822 |
antecedent |
consequent |
(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB)) |
WMD.kif 957-961 | |
(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseMedicine ?DISEASE ?SUB ?PROCESS)) |
WMD.kif 963-967 | |
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1374-1381 | |
(=> (instance ?DISEASE ViralDisease) (exists (?PROCESS) (not (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)))) |
WMD.kif 1278-1282 | |
(=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P)))) |
Medicine.kif 4614-4619 |
|
appearance as argument number 0 |