TreeView Knowledge Base Browser - decreasesLikelihood

appearance as argument number 1

(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2600-2600	不相交的關係降低可能性 and 獨立概率
(documentation decreasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation， (decreasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 不太可能会是真的。")	chinese_format.kif 1910-1912
(documentation decreasesLikelihood EnglishLanguage "One of the basic ProbabilityRelations. (decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.")	Merge.kif 2619-2621
(documentation decreasesLikelihood JapaneseLanguage "基本的な ProbabilityRelation。 (decreasesLikelihood ?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2が正しい可能性が高いことを意味する。")	japanese_format.kif 537-539
(domain decreasesLikelihood 1 Formula)	Merge.kif 2616-2616	域降低可能性, 1 and Formula
(domain decreasesLikelihood 2 Formula)	Merge.kif 2617-2617	域降低可能性, 2 and Formula
(instance decreasesLikelihood BinaryPredicate)	Merge.kif 2614-2614	例降低可能性 and BinaryPredicate
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2615-2615	例降低可能性 and IrreflexiveRelation
(instance decreasesLikelihood ProbabilityRelation)	Merge.kif 2613-2613	例降低可能性 and ProbabilityRelation

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

降低可能性 Formula and Formula 等於可能性 Formula and RealNumber 條件概率 Formula, Formula and RealNumber
少於 RealNumber and RealNumber

consequent

(=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2)))	Merge.kif 2647-2654	例 Formula and Formula 例 Formula and Formula 增加可能性 Formula and Formula 降低可能性 Formula and Formula 獨立概率 Formula and Formula
(=> (hinders ?X ?PROC) (exists (?L ?T) (decreasesLikelihood (and (equal (WhenFn ?X) ?T) (eventLocated ?X ?L)) (holdsDuring ?T (exists (?Y) (and (instance ?Y ?PROC) (eventLocated ?Y ?L)))))))	Merge.kif 4399-4410	Process hinders Process entity entity 降低可能性等於何時 Process and entity Process 是 located 在 entity and 持有期間 entity and entity 例 entity and Process entity 是 located 在 entity
(=> (hindersSubclass ?PROC1 ?PROC2) (forall (?TIME ?PLACE) (decreasesLikelihood (holdsDuring ?TIME (exists (?INST1) (and (instance ?INST1 ?PROC1) (eventLocated ?INST1 ?PLACE)))) (holdsDuring ?TIME (exists (?INST2) (and (instance ?INST2 ?PROC2) (eventLocated ?INST2 ?PLACE)))))))	Merge.kif 4319-4332	Process 的例子 hinder Process 的 instances entity entity 降低可能性持有期間 entity and entity 例 entity and Process entity 是 located 在 entity and 持有期間 entity and entity 例 entity and Process entity 是 located 在 entity
(=> (instance ?SV SafetyVest) (hasPurpose ?SV (exists (?PERSON ?SPECTATOR) (and (instance ?PERSON Animal) (instance ?SPECTATOR Human) (increasesLikelihood (wears ?PERSON ?SV) (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR)))) (decreasesLikelihood (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR))) (exists (?INJ) (and (instance ?INJ Injuring) (agent ?INJ ?SPECTATOR) (patient ?INJ ?PERSON))))))))	Cars.kif 3558-3582	例 Physical and SafetyVest 有目的 Physical and entity entity 例 entity and Animal 例 entity and Human 增加可能性穿 entity and Physical and entity 例 entity and Seeing 患者 entity and entity 體驗者 entity and entity 降低可能性 entity 例 entity and Seeing 患者 entity and entity 體驗者 entity and entity and entity 例 entity and Injuring agent entity and entity 患者 entity and entity
(=> (instance ?TA TranexamicAcid) (hasPurpose ?TA (exists (?P) (and (instance ?P Human) (decreasesLikelihood (exists (?I) (and (instance ?I Ingesting) (objectTransferred ?I ?TA) (destination ?I ?P))) (exists (?P ?B) (and (instance ?P Human) (instance ?B Bleeding) (origin ?B ?P))))))))	Medicine.kif 1050-1066	例 Physical and TranexamicAcid 有目的 Physical and entity 例 entity and Human 降低可能性 entity 例 entity and Ingesting objectTransferred entity and Physical 目的地 entity and entity and entity entity 例 entity and Human 例 entity and 流血的起源 entity and entity
(=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL)))))))))	Cars.kif 1016-1034	例 Physical and FuelCapLock 有目的 Physical and entity entity and entity 例 entity and GasTank hole entity and entity 降低可能性持有期間 entity and 連接的 Physical and entity attribute Physical and 鎖定 and 持有期間 entity and entity entity 例 entity and 偷竊行為例 entity and 汽油位於 entity and entity 患者 entity and entity
(=> (instance ?X SteeringColumnLock) (hasPurpose ?X (exists (?SC ?P ?CAR ?T) (and (instance ?SC SteeringColumn) (instance ?CAR Automobile) (component ?SC ?CAR) (part ?X ?SC) (instance ?P Protecting) (instrument ?P ?X) (decreasesLikelihood (holdsDuring ?T (attribute ?X Locked)) (holdsDuring ?T (exists (?STEAL) (and (instance ?STEAL Stealing) (patient ?STEAL ?CAR)))))))))	Cars.kif 3994-4012	例 Physical and SteeringColumnLock 有目的 Physical and entity entity, entity and entity 例 entity and SteeringColumn 例 entity and 汽車零件 entity and entity 部分 Physical and entity 例 entity and Protecting 儀器 entity and Physical 降低可能性持有期間 entity and attribute Physical and 鎖定 and 持有期間 entity and entity 例 entity and 偷竊行為患者 entity and entity

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: