decreasesLikelihood |
appearance as argument number 1 |
appearance as argument number 2 |
(disjointRelation increasesLikelihood decreasesLikelihood) | Merge.kif 2598-2598 | 不相交的關係 增加可能性 and 降低可能性 |
(format ChineseLanguage decreasesLikelihood "%1 %n{doesn't} 减少 %2 发生的机率") | chinese_format.kif 89-89 | |
(format EnglishLanguage decreasesLikelihood "%1 %n{doesn't} decrease%p{s} likelihood of %2") | english_format.kif 89-89 | |
(format FrenchLanguage decreasesLikelihood "%1 %n{ne} diminue %n{pas} la probabilit� de %2") | french_format.kif 67-67 | |
(format JapaneseLanguage decreasesLikelihood "%1 は %2 を decrease%p{s} %n{ない} 可能性がある") | japanese_format.kif 1893-1893 | |
(format PortugueseLanguage decreasesLikelihood "%1 %n{nao} diminui %n a probabilidade de %2") | portuguese_format.kif 19-19 | |
(format cz decreasesLikelihood "%1 %n{doesn't} decrease%p{s} likelihood of %2") | relations-cz.txt 91-91 | |
(format de decreasesLikelihood "%1 verringert die Wahrscheinlichkeit von %2 %n{nicht}") | relations-de.txt 98-98 | |
(format hi decreasesLikelihood "%1 %2 kii sambhaavanaa ko ghaTaataa %n{nahiin} hai") | relations-hindi.txt 108-108 | |
(format ro decreasesLikelihood "%1 %n{nu} decrease%t{reduce} probabilitatea lui %2") | relations-ro.kif 86-86 | |
(format sv decreasesLikelihood "%1 minskar %n{inte} sannolikheten för %2") | relations-sv.txt 66-66 | |
(format tg decreasesLikelihood "%1 %n ay nagbabawas ang malamang sa %2") | relations-tg.txt 150-150 | |
(format tg decreasesLikelihood "%1 %n ay ngbabawas ang malamang sa %2") | relations-cb.txt 101-101 | |
(termFormat ChineseLanguage decreasesLikelihood "降低可能性") | chinese_format.kif 90-90 | |
(termFormat ChineseTraditionalLanguage decreasesLikelihood "降低可能性") | domainEnglishFormat.kif 18833-18833 | |
(termFormat EnglishLanguage decreasesLikelihood "decreases likelihood") | domainEnglishFormat.kif 18832-18832 | |
(termFormat de decreasesLikelihood "verringertWahrscheinlichkeit") | terms-de.txt 27-27 | |
(termFormat tg decreasesLikelihood "nagbabawas malamang") | relations-tg.txt 151-151 |
antecedent |
(=> (and (decreasesLikelihood ?FORMULA1 ?FORMULA2) (equal (ProbabilityFn ?FORMULA2) ?NUMBER1) (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1)) |
Merge.kif 2623-2628 |
|
consequent |
appearance as argument number 0 |
(decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 921-929 | 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS 例 ?SAMPLE and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |