#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Author: Jeremy J. Carroll
#
# Description: 
#
# If <code>prop</code> belongs to <code>owl:FunctionalProperty</code>,
# and <code>subject</code> denotes a resource and
# has two outgoing <code>prop</code> arcs, then the <code>object</code>s of these arcs 
# have the same denotation.
#
first:object1 owl:sameIndividualAs first:object2 .