Since those things of which the genus is predicated must also of necessity have one of its species predicated of them, and since those things that are possessed of the genus in question, or are described by terms derived from that genus, must also of necessity be possessed of one of its species or be described by terms derived from one of its species