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	不相交的關係增加可能性 and 降低可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2599-2599	不相交的關係增加可能性 and 獨立概率
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 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2597-2597	域增加可能性, 2 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2594-2594	例增加可能性 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2595-2595	例增加可能性 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2593-2593	例增加可能性 and ProbabilityRelation

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

增加可能性 Formula and Formula 等於可能性 Formula and RealNumber 條件概率 Formula, Formula and RealNumber
比較多 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2647-2654	例 Formula and Formula 例 Formula and Formula 增加可能性 Formula and Formula 降低可能性 Formula and Formula 獨立概率 Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	例 Object and CarAlarm 例 Object and 自供電公路車輛部分 Object and Object entity entity, entity and entity 有目的 Object and 例 entity and 偷竊行為例 entity and Damaging 例 entity and Human agent entity and entity 患者 entity and Object 等於何時 entity and entity entity 是 partly located 在 entity entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 有目的 entity and 增加可能性 entity 例 entity and Human 持有期間 entity and 方位 entity, entity and 近 and 知道 entity and entity 例 entity and 偷竊行為例 entity and Damaging entity 是 partly located 在 entity 持有期間 entity and 患者 entity and Object 飾面何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance entity TimePosition, entity and entity 持有期間 TimePosition and attribute entity and DiseaseOrSyndrome 增加可能性例 entity and Process 時間部分何時 entity and TimePosition 體驗者 entity and entity 患者 entity and entity 例 entity and BiologicallyActiveSubstance and 持有期間眼前的未來 TimePosition and attribute entity and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 877-882	DiseaseOrSyndrome 是 DiseaseOrSyndrome 的 disease 病狀 entity 增加可能性 attribute entity and DiseaseOrSyndrome and attribute entity and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10414-10422	pathologicSymptom DiseaseOrSyndrome and PathologicProcess entity 增加可能性 attribute entity and DiseaseOrSyndrome and entity 例 entity and PathologicProcess 體驗者 entity and entity

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 and ?PROCESSTYPE 體驗者 ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM

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

KB Term:			Term intersection

English Word: