I’m looking for a database that has sufficient information to mathematically prove things like: “[young man] == [a boy] == [male child]”.

This database should have basic information such as “[a king] is [male], [person], [sovereign], [ruler], etc..” but also strict definitions like “[quick] == [moving fast] or [in short time]”.

Any thoughts?