| http://www.w3.org/ns/prov#value | - Which could also be expressed as There Exists s: sele M, where ??? s stands for the claim, that there exists a certain Socrates and the colon ( : ) means ???such that,??? where also s ele M, says that s is an individual member of the set M for Man. (The usual symbols for existential quantifier and being a member of can be inserted if you know them.) We have a set M., with s in it:
|
