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 | The number 1 argument of causes proposition is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3823-3823 | The number 2 argument of causes proposition is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3821-3821 | causes proposition is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3820-3820 | causes proposition is an instance of binary predicate |
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 |
|