| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16834-16834 | Argument est une sous-classe de proposition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16182-16182 | LegalOpinion est une sous-classe de Argument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16854-16854 | DeductiveArgument est une sous-classe de Argument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16886-16886 | InductiveArgument est une sous-classe de Argument |
|
|