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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2647-2654 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 941-955 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 877-882 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3558-3582 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10414-10422 |
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 发生的机率 |