#14 FunctionalProperty cannot be used for "cut"

[Jeff Thompson]

In OWL, if p is a FunctionalProperty then for p o1 and p o2 we must infer that o1 and o2 are the same individuals. It does NOT mean that we just pick either o1 or o2.