Knife Implications

BUR #41006 is pending approval.

create implication pocketknife -> knife
create implication switchblade -> pocketknife

A switchblade is a type of pocket knife, and a pocket knife is a type of knife.