About: first-order logic

Premodifier: first-order
Head noun: logic

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

Broader concepts

label	provenance	confidence
language	isap:291600673	0.573224
logic	isap:365561420	0.486787
framework	isap:339198166	0.486784

Narrower concepts

label	provenance	confidence
zfc	isap:469572215	0.303695