Implicating horned_humanoid → horn
Link to implication

Reason:

A horned humanoid, like a winged humanoid to wings, is a humanoid who has horns. They inherently have to have horns. Pretty self explanatory to me.

Semi related humanoid discussion that has been discussed before that I want to bring up: should we have base species *_humanoid tags that each animal_humanoid implies? IE: cat_humanoid implies feline_humanoid, and base feline_humanoid would imply animal_humanoid and feline. If this idea is liked rather than directly implying their base species they would imply their base species_humanoid tags. The sectioned text below show what the implications would be IF agreed upon; if not agreed upon, just ignore the section.

Related humanoid implications

• cephalopod_humanoid → animal_humanoid
• cephalopod_humanoid → cephalopod
• fish_humanoid → animal_humanoid
• fish_humanoid → marine
• snake_humanoid → animal_humanoid
• snake_humanoid → reptile

• dog_humanoid → canine
• fox_humanoid → canine
• wolf_humanoid → canine

• sheep_humanoid → caprine

• horned_humanoid → humanoid
• pokémon_humanoid → humanoid

• bat_humanoid → mammal
• bear_humanoid → mammal
• mole_humanoid → mammal

• mouse_humanoid → rodent
• squirrel_humanoid → rodent

Related humanoid aliases

• deer_humanoid → cervine_humanoid (to fit with deer's alias to cervine)

Base species animal humanoid implications

+1. Other implication suggestions:

• butterfly_humanoid → insect
• giraffe_humanoid → giraffid
• leopard_humanoid → feline
• moose_humanoid → cervine
• okapi_humanoid → giraffid
• penguin_humanoid → avian

Implicate all of the above to animal_humanoid as well.

Most of these have been dealt with in their own ways since then, but I'm bumping for the topic suggestion, as horned_humanoids often don't have the horn tag, despite them inherently involving horns. Also they're missing a humanoid implication as well.