decreasesLikelihood |
appearance as argument number 1 |
appearance as argument number 2 |
(disjointRelation increasesLikelihood decreasesLikelihood) | Merge.kif 2598-2598 | increases likelihood and decreases likelihood are 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 is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM |
(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 18229-18246 | There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ |