About: formal system

Premodifier: formal
Head noun: system

Same concepts
http://dbpedia.org/resource/Formal_system

Broader concepts

label	provenance	confidence
thing	isap:115238955	0.418478
result	isap:385399993	0.289705
model	isap:119037335	0.288039
logic	isap:122000342	0.201286

Narrower concepts

label	provenance	confidence
logic	isap:155985049	0.658911
programming language	isap:483170394	0.646917
propositional logic	isap:155985070	0.586526
law enforcement	isap:144618309	0.549684
mathematics	isap:145180065	0.502145
everything	isap:256882892	0.336455
programming	isap:143626279	0.323936
calculus	isap:481867512	0.297516
zfc	isap:212883456	0.289258
language	isap:483170395	0.273774
grammar	isap:274751084	0.242507
case	isap:308613710	0.215324
fact	isap:307399346	0.187059