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 |
|---|