http://www.w3.org/ns/prov#value | - Exercise: Translate the following into First Order Language by using predicates Number, Larger, Odd, Prime and the constant symbol 2: There is a number which is larger than every other number Solution: where Larger(x,y) means x is larger than y.
|