(dated) plural of Brahmo

(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

Third-person singular simple present indicative form of overseason

Full of purposeful activity; industriousness. / Ostentatious busyness; A type of showiness that seeks to seem important.