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 | diseaseMedicine の数値 1 引数は 病気または症候群 の instance では %n |
(domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) | WMD.kif 933-933 | diseaseMedicine の数値 2 引数は 生物活性物質 のsubclass では %n |
(domainSubclass diseaseMedicine 3 Process) | WMD.kif 934-934 | diseaseMedicine の数値 3 引数は 工程 のsubclass では %n |
(instance diseaseMedicine TernaryPredicate) | WMD.kif 931-931 | diseaseMedicine は 3進述語 の instance では %n |
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 |
(=> (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 | |
(=> (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (exists (?ORGANISM ?TIME ?SAMPLE ?PROC) (and (holdsDuring ?TIME (attribute ?ORGANISM ?DISEASE)) (increasesLikelihood (and (instance ?PROC ?PROCESS) (temporalPart (WhenFn ?PROC) ?TIME) (experiencer ?PROC ?ORGANISM) (patient ?PROC ?SAMPLE) (instance ?SAMPLE ?SUBSTANCE)) (holdsDuring (ImmediateFutureFn ?TIME) (not (attribute ?ORGANISM ?DISEASE))))))) |
WMD.kif 941-955 |
|
(=> (diseaseMedicine ?DISEASE Antibiotic ?PROCESS) (instance ?DISEASE BacterialDisease)) |
WMD.kif 1274-1276 |
|
(=> (diseaseMedicine ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (subclass ?PROCESS Putting))) |
WMD.kif 1322-1326 |
|
(=> (diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting)) |
WMD.kif 1288-1290 |
|
(=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1315-1317 |
|
consequent |
appearance as argument number 0 |