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 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3823-3823 | 域 引起提案, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3821-3821 | 例 引起提案 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3820-3820 | 例 引起提案 and BinaryPredicate |
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 |