| http://www.w3.org/ns/prov#value | - But the logic behind Terms is first order, there is only one kind of individuals, and the proliferation of kinds of variables is just syntactic sugar. ``Person1`` would be equivalent to something like for all x, x is a person and x.... ``LovesVerb1`` would be equivalent to something like for all x, a x is a loves and x.... * The design of the system is such that both adding new facts (with the
|
