No TPTP formula. May not be expressible in strict first order. | Merge.kif 12154-12154 | Comparer est une sous-classe de processus psycholoqique intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12155-12155 | Comparer est une sous-classe de processus requ�rant deux patients |