Missing implications for cleavers

BUR #26088 is pending approval.

create implication holding_cleaver -> cleaver
create implication holding_cleaver -> holding
create implication holding_cleaver -> holding_knife
create implication cleaver -> knife

Filling up missing implications.

No need to make it imply holding since the implication to holding_knife will already take care of that.