TreeView Knowledge Base Browser - increasesLikelihood

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2598-2598	提高可能性和降低可能性是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2599-2599	提高可能性和独立发生机率是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1907-1909
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2602-2604
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 534-536
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2596-2596	提高可能性的 1 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2597-2597	提高可能性的 2 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2594-2594	提高可能性是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2595-2595	提高可能性是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2593-2593	提高可能性是概率关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 125-125
No TPTP formula. May not be expressible in strict first order.	english_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	french_format.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 141-141
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1911-1911
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 36-36
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 180-180
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 286-286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29545-29545
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29544-29544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29543-29543
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 44-44
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 287-287

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 2606-2611

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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2647-2654	如果公式是公式的 instance 和另一个公式是公式的 instance，然后那个公式增加那个另外公式发生的机率或那个公式减少那个另外公式发生的机率或那个公式和那个另外公式各自独立发生的机率是 %n
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	如果客体是 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 发生的机率
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质，然后有存在实体，时间位置,，，另一个实体， and 和第三实体这样那个疾病或综合症是那个实体的 attribute 在那个时间位置 holdsDuring 和那个第三实体是有点过程的 instance 和那个第三实体出现的 time 时段是那个时间位置时段的一 part 和那个实体经历了那个第三实体和那个另外实体是那个第三实体的 patient 和那个另外实体是有点生物活性物质的 instance 增加那个疾病或综合症不是那个实体的 attribute 在紧接那个时间位置 after holdsDuring 发生的机率
No TPTP formula. May not be expressible in strict first order.	WMD.kif 877-882	如果疾病或综合症是另一个疾病或综合症的 disease 病状，然后有存在实体这样那个另外疾病或综合症是那个实体的 attribute 增加那个疾病或综合症是那个实体的 attribute 发生的机率
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3558-3582	如果物理是 SafetyVest 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是动物的 instance 和那个另外实体是人类的 instance 和那个实体 wears 那个物理增加有存在第三实体这样那个第三实体是看的 instance 和那个实体是那个第三实体的 patient 和那个另外实体经历了那个第三实体发生的机率和有存在那个第三实体这样那个第三实体是看的 instance 和那个实体是那个第三实体的 patient 和那个另外实体经历了那个第三实体减少有存在第四实体这样那个第四实体是受伤的 instance 和那个另外实体是那个第四实体的 agent 和那个实体是那个第四实体的 patient 发生的机率
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10414-10422	如果 pathologicSymptom 疾病或综合症 and 有点病理过程，然后有存在实体这样那个疾病或综合症是那个实体的 attribute 增加有存在另一个实体这样那个另外实体是有点病理过程的 instance 和那个实体经历了那个另外实体发生的机率

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

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: