| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12245-12245 | R�parer est une sous-classe de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12261-12261 | Processus therapeutique est une sous-classe de r�parer |
|
|