(subclass OneToOneFunction UnaryFunction) | Merge.kif 3369-3369 | Function un � un est une sous-classe de function unaire |
(subclass SequenceFunction OneToOneFunction) | Merge.kif 3387-3387 | Sequence function s�quence est une sous-classe de function un � un |
![]() |