No TPTP formula. May not be expressible in strict first order. | Merge.kif 11494-11494 | Remplacer est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11495-11495 | Remplacer est une sous-classe de processus requ�rant deux patients |