---

turing machine (subgroup of machine) → HasProperty → equivalent	0.65
turing machine (subgroup of machine) → HasProperty → universal	0.46
turing machine (subgroup of machine) → CapableOf → model machine	0.25
turing machine (subgroup of machine) → CapableOf → model any form of computation	0.25
turing machine (subgroup of machine) → CapableOf → halt on every input	0.25
turing machine (subgroup of machine) → HasProperty → used false bound	0.25
human mind (subgroup of mind) → IsA → a turing machine	0.25