decreasesLikelihood |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2600-2600 | 降低可能性 和 独立发生机率 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1910-1912 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2619-2621 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 537-539 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2616-2616 | 降低可能性 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2617-2617 | 降低可能性 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2614-2614 | 降低可能性 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | 降低可能性 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2613-2613 | 降低可能性 是 概率关系 的 instance |
appearance as argument number 2 |
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. | chinese_format.kif 89-89 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 89-89 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 67-67 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1893-1893 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 19-19 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 91-91 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 98-98 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 108-108 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 86-86 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 66-66 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 150-150 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 101-101 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 90-90 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18833-18833 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18832-18832 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 27-27 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 151-151 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2623-2628 |
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. | Merge.kif 4399-4410 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4319-4332 | |
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. | Medicine.kif 1050-1066 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1016-1034 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3994-4012 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | 有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率 |