| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16903-16903 | DeductiveArgument est une sous-classe de Argument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16909-16909 | ValidDeductiveArgument est une sous-classe de DeductiveArgument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16924-16924 | InvalidDeductiveArgument est une sous-classe de DeductiveArgument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16929-16929 | Explanation est une sous-classe de DeductiveArgument |
|
|