Term: predicate calculus: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Candidate hypernym: logic: a system of reasoning → 1
Candidate hypernym: woad: a blue dyestuff obtained from the woad plant → 0
Candidate hypernym: utilitarianism: doctrine that the useful is the good; especially as elaborated by Jeremy Bentham and James Mill; the aim was said to be the greatest happiness for the greatest number → 0
Candidate hypernym: stiffening: the process of becoming stiff or rigid → 0
Candidate hypernym: action: the series of events that form a plot → 0
Candidate hypernym: parietomastoid suture: the suture between the parietal and the temporal bones → 0
Candidate hypernym: bar fly: a drinker who frequents bars → 0
Candidate hypernym: orthoepist: a practitioner of orthoepy (especially one of the 17th or 18th century scholars who proposed to reform English spelling so it would reflect pronunciation more closely) → 0
Candidate hypernym: iguanid: lizards of the New World and Madagascar and some Pacific islands; typically having a long tail and bright throat patch in males → 0
Candidate hypernym: cassette tape: a cassette that contains magnetic tape → 0
Candidate hypernym: popular music: any genre of music having wide appeal (but usually only for a short time) → 0