TreeView Knowledge Base Browser - increasesLikelihood

appearance as argument number 1

(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 2598-2598	提高可能性和降低可能性是 disjoint 关系
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2599-2599	提高可能性和独立发生机率是 disjoint 关系
(documentation increasesLikelihood ChineseLanguage "这是其中一个基本的 ProbabilityRelation， (increasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 更有可能会是真的。")	chinese_format.kif 1907-1909
(documentation increasesLikelihood EnglishLanguage "One of the basic ProbabilityRelations. (increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.")	Merge.kif 2602-2604
(documentation increasesLikelihood JapaneseLanguage "基本的な ProbabilityRelation。 (increasesLikelihood ?FORMULA1 ?FORMULA2) とは、?FORMULA1 が正しい場合、?FORMULA2 が正しい可能性が高いことを意味する。")	japanese_format.kif 534-536
(domain increasesLikelihood 1 Formula)	Merge.kif 2596-2596	提高可能性的 1 数量是公式的 instance
(domain increasesLikelihood 2 Formula)	Merge.kif 2597-2597	提高可能性的 2 数量是公式的 instance
(instance increasesLikelihood BinaryPredicate)	Merge.kif 2594-2594	提高可能性是二元谓语的 instance
(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595	提高可能性是非自反关系的 instance
(instance increasesLikelihood ProbabilityRelation)	Merge.kif 2593-2593	提高可能性是概率关系的 instance

appearance as argument number 2

(format ChineseLanguage increasesLikelihood "%1 %n{doesn't} 增加 %2 发生的机率")	chinese_format.kif 125-125
(format EnglishLanguage increasesLikelihood "%1 %n{doesn't} increase%p{s} likelihood of %2")	english_format.kif 126-126
(format FrenchLanguage increasesLikelihood "%1 %n{n'} augmente %n{pas} la probabilit� de %2")	french_format.kif 84-84
(format ItalianLanguage increasesLikelihood "%1 %n{non} aumenta%p{s} la verosimiglianza di %2")	relations-it.txt 141-141
(format JapaneseLanguage increasesLikelihood "%1 は %2 の可能性を increase%p{s} %n{ない}")	japanese_format.kif 1911-1911
(format PortugueseLanguage increasesLikelihood "%1 %n{nao} aumenta %n a probabilidade de %2")	portuguese_format.kif 36-36
(format cz increasesLikelihood "%1 %n{doesn't} increase%p{s} likelihood of %2")	relations-cz.txt 90-90
(format de increasesLikelihood "%1 vergroessert die Wahrscheinlichkeit von %2 %n{nicht}")	relations-de.txt 148-148
(format hi increasesLikelihood "%1 %2 kii sambhaavanaa men vriddhi %n{nahiin} karataa hai")	relations-hindi.txt 180-180
(format ro increasesLikelihood "%1 %n{nu} increase%t{sporeºte} probabilitatea lui %2")	relations-ro.kif 103-103
(format sv increasesLikelihood "%1 ökar %n{inte} sannolikheten för %2")	relations-sv.txt 83-83
(format tg increasesLikelihood "%1 %n ay nagdagdag ang kalamangang mangyari ng %2")	relations-tg.txt 286-286
(termFormat ChineseLanguage increasesLikelihood "增加可能性")	domainEnglishFormat.kif 29545-29545
(termFormat ChineseLanguage increasesLikelihood "提高可能性")	chinese_format.kif 126-126
(termFormat ChineseTraditionalLanguage increasesLikelihood "增加可能性")	domainEnglishFormat.kif 29544-29544
(termFormat EnglishLanguage increasesLikelihood "increases likelihood")	domainEnglishFormat.kif 29543-29543
(termFormat de increasesLikelihood "vergroessertWahrscheinlichkeit")	terms-de.txt 44-44
(termFormat tg increasesLikelihood "nagdagdag ang kalamangang mangyari")	relations-tg.txt 287-287

antecedent

(=>
    (and
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))

Merge.kif 2606-2611

如果公式增加另一个公式发生的机率和那个另外公式的机率 equal 实数和如果那个另外公式是正确，那那个公式的机率就是另一个实数，
然后那个另外实数是 greaterThan 那个实数

consequent

(=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2)))	Merge.kif 2647-2654	如果公式是公式的 instance 和另一个公式是公式的 instance，然后那个公式增加那个另外公式发生的机率或那个公式减少那个另外公式发生的机率或那个公式和那个另外公式各自独立发生的机率是 %n
(=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM)))))))))))	Cars.kif 3695-3736	如果客体是 CarAlarm 的 instance 和另一个客体是自供电公路车辆的 instance 和那个客体是那个另外客体的 part，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个客体的目的是如果那个实体是偷窃行为的 instance 或那个实体是损坏的 instance 和那个另外实体是人类的 instance 和那个另外实体是那个实体的 agent 和那个另外客体是那个实体的 patient 和那个实体出现的 time equal 那个第三实体和那个实体是 partly located 在那个第四实体，然后有存在第五实体这样那个第五实体是放射声音的 instance 和那个客体是那个第五实体的 agent 和那个实体 causes 那个第五实体和那个第五实体的目的是有存在第六实体这样那个第六实体是人类的 instance 和那个第六实体在那个第四实体的近在那个第三实体 holdsDuring 增加那个第六实体 knows 有存在第七实体这样那个第七实体是偷窃行为的 instance 或那个第七实体是损坏的 instance 和那个第七实体是 partly located 在那个第四实体和那个另外客体是那个第七实体的 patient 在那个第三实体 holdsDuring 或那个第五实体出现的 time finishes了才到那个实体出现的 time 发生的机率
(=> (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	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质，然后有存在实体，时间位置,，，另一个实体， and 和第三实体这样那个疾病或综合症是那个实体的 attribute 在那个时间位置 holdsDuring 和那个第三实体是有点过程的 instance 和那个第三实体出现的 time 时段是那个时间位置时段的一 part 和那个实体经历了那个第三实体和那个另外实体是那个第三实体的 patient 和那个另外实体是有点生物活性物质的 instance 增加那个疾病或综合症不是那个实体的 attribute 在紧接那个时间位置 after holdsDuring 发生的机率
(=> (diseaseSymptom ?DISEASE ?SYMPTOM) (exists (?ORGANISM) (increasesLikelihood (attribute ?ORGANISM ?DISEASE) (attribute ?ORGANISM ?SYMPTOM))))	WMD.kif 877-882	如果疾病或综合症是另一个疾病或综合症的 disease 病状，然后有存在实体这样那个另外疾病或综合症是那个实体的 attribute 增加那个疾病或综合症是那个实体的 attribute 发生的机率
(=> (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 3543-3567	如果物理是 SafetyVest 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是动物的 instance 和那个另外实体是人类的 instance 和那个实体 wears 那个物理增加有存在第三实体这样那个第三实体是看的 instance 和那个实体是那个第三实体的 patient 和那个另外实体经历了那个第三实体发生的机率和有存在那个第三实体这样那个第三实体是看的 instance 和那个实体是那个第三实体的 patient 和那个另外实体经历了那个第三实体减少有存在第四实体这样那个第四实体是受伤的 instance 和那个另外实体是那个第四实体的 agent 和那个实体是那个第四实体的 patient 发生的机率
(=> (pathologicSymptom ?D ?S) (exists (?O) (increasesLikelihood (attribute ?O ?D) (exists (?I) (and (instance ?I ?S) (experiencer ?I ?O))))))	Merge.kif 10450-10458	如果 pathologicSymptom 疾病或综合症 and 有点病理过程，然后有存在实体这样那个疾病或综合症是那个实体的 attribute 增加有存在另一个实体这样那个另外实体是有点病理过程的 instance 和那个实体经历了那个另外实体发生的机率

appearance as argument number 0

(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))

WMD.kif 767-773

?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率

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

KB Term:			Term intersection

English Word: