causesProposition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2071-2076 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3825-3834 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 717-722 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3822-3822 | 引起主张 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3823-3823 | 引起主张 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3821-3821 | 引起主张 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3820-3820 | 引起主张 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 392-392 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 391-391 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 390-390 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13506-13506 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13505-13505 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13504-13504 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3836-3843 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 101-111 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1945-1958 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 766-775 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 793-803 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1100-1110 |