| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1633-1633 | Processus requ�rant deux patients est une sous-classe de processus |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11471-11471 | Remplacer est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11832-11832 | Transaction est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12131-12131 | Comparer est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12369-12369 | Attacher est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12421-12421 | Detacher est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12478-12478 | Combiner est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12504-12504 | Separer est une sous-classe de processus requ�rant deux patients |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12753-12753 | Translating est une sous-classe de processus requ�rant deux patients |
|
|