@prefix dc: <http://purl.org/dc/elements/1.1/> .

<> dc:description """functional, i.e. unambiguous, properties""",
 "$Id: funcProp.n3,v 1.2 2009/02/26 17:08:01 timbl Exp $".

@prefix log: <http://www.w3.org/2000/10/swap/log#>.

@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.

#@prefix ont: <http://www.w3.org/2002/07/owl>.

@prefix : <#>.

@forAll :X, :Y, :Z, :P.

{ :P a ont:UnambiguousProperty.
  :X :P :Y.
  :Z :P :Y.
} log:implies { :X = :Z }.