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: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity → 1
Candidate hypernym: glyceraldehyde: a sweet crystalline aldehyde formed by the breakdown of sugars → 0
Candidate hypernym: heidelberg man: a type of primitive man who lived in Europe → 0
Candidate hypernym: presence: the immediate proximity of someone or something → 0
Candidate hypernym: duck down: down of the duck → 0
Candidate hypernym: clutch: a tense critical situation → 0
Candidate hypernym: marinade: mixtures of vinegar or wine and oil with various spices and seasonings; used for soaking foods before cooking → 0
Candidate hypernym: parainfluenza virus: a virus that causes upper respiratory infection (including the common cold and bronchiolitis); most often in children → 0
Candidate hypernym: globe pepper: round sweet pepper → 0
Candidate hypernym: general agreement on tariffs and trade: a United Nations agency created by a multinational treaty to promote trade by the reduction of tariffs and import quotas → 0
Candidate hypernym: slip coach: a railway car at the end of the train; it can be detached without stopping the train → 0