# from http://rdfweb.org/2001/01/design/smush.html
# see also: #rdfig 20 Jul 2001.
@prefix : .
@prefix v: .
@prefix agg: .
@prefix log: .
# :UniquelyIdentifyingProperty has since
# been called daml+oil:UnambiguousProperty.
# but let's not mix DAML into this...
@forAll :p, :x, :y, :z.
{ :p a agg:UniquelyIdentifyingProperty. } log:implies
{ { :x :p :z. :y :p :z. } log:implies { :x = :y } }.
agg:personalMailbox a agg:UniquelyIdentifyingProperty.
agg:personalHomepage a agg:UniquelyIdentifyingProperty.
agg:corporateHomepage a agg:UniquelyIdentifyingProperty.