decreasesLikelihood |
appearance as argument number 1 |
appearance as argument number 2 |
(disjointRelation increasesLikelihood decreasesLikelihood) | Merge.kif 2598-2598 | 提高可能性 和 降低可能性 是 disjoint 关系 |
(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 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
(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 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率 |