About: predicate calculus

Premodifier: predicate
Head noun: calculus

Same concepts
http://dbpedia.org/resource/First-order_logic

Broader concepts

label	provenance	confidence
logic	isap:361457453	0.470195

Narrower concepts

label	provenance	confidence