predicate calculus: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
parainfluenza virus: a virus that causes upper respiratory infection (including the common cold and bronchiolitis); most often in children