(subclass Comparing IntentionalPsychologicalProcess) | Merge.kif 12130-12130 | Comparer est une sous-classe de processus psycholoqique intentionnel |
(subclass Comparing DualObjectProcess) | Merge.kif 12131-12131 | Comparer est une sous-classe de processus requ�rant deux patients |