Muʿarraf is the thing being defined; muʿarrif is the explanation used to define it. In “human — rational animal,” the former is the definiendum and the latter the definiens. “Human — laughing-capable animal” has the same definiendum but a different definiens, based on a property rather than an essential differentia.
Opening interactive controls...
Do not confuse what is defined with its definition
Definitions in Logic: Complete and Incomplete Ḥadd and Rasm
Muʿarraf is the thing being defined; muʿarrif is the explanation used to define it. In “human — rational animal,” the former is the definiendum and the latter the definiens. “Human — laughing-capable animal” has the same definiendum but a different definiens, based on a property rather than an essential differentia.