About: hol light

Premodifier: hol
Head noun: light

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

Broader concepts

label	provenance	confidence
example	isap:226552778	0.388094

Narrower concepts

label	provenance	confidence