Clarification of inherited domains for "has numerical value" necessary?
Excerpt from follow-up e-mail that was sent only to me and not to the maling-list:
Regarding the second point, I overlooked that “has numerical value” inherits from “has value” which has “Variable” as domain. My confusion came from the fact that “has numerical value” has the domain “real” which inherits from “Value” but not from “Variable”. But since “has numerical value” inherits from “has value”, I assume the predicate also inherits the domain “Variable”, so it has both classes (Value and Variable) in its domain.