Head noun: hol
Same concepts |
---|
http://dbpedia.org/resource/Hol |
Broader concepts
label | provenance | confidence |
---|---|---|
theorem prover | isap:210489735 | 0.297591 |
function | isap:332092849 | 0.256262 |
system | isap:211755084 | 0.246402 |
drug | isap:250273201 | 0.244325 |
prover | isap:210489734 | 0.204877 |
thing | isap:469984662 | 0.143059 |
place | isap:467899485 | 0.135113 |
cloth | isap:467019591 | 0.128802 |
Narrower concepts
label | provenance | confidence |
---|