Ba-rō'kō, n.

noun

n. (Logic.) A form or mode of syllogism of which the first proposition is a universal affirmative, and the other two particular negatives.