#
# 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>p</code> and <code>q</code> have the same property extension then they <code>p</code> <code>samePropertyAs</code> <code>q</code>.
#
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#p> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.w3.org/2002/03owlt/samePropertyAs/premises004#d> .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#q> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#q> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.w3.org/2002/03owlt/samePropertyAs/premises004#d> .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#q> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#v> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Thing> .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
_:a <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
_:a <http://www.w3.org/2002/07/owl#onProperty> <http://www.w3.org/2002/03owlt/samePropertyAs/premises004#p> .
_:a <http://www.w3.org/2002/07/owl#hasValue> <http://www.w3.org/2002/03owlt/samePropertyAs/premises004#v> .
_:b <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:a .
_:b <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
_:c <http://www.w3.org/2002/07/owl#intersectionOf> _:b .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#d> <http://www.w3.org/2002/07/owl#sameClassAs> _:c .
_:d <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
_:d <http://www.w3.org/2002/07/owl#onProperty> <http://www.w3.org/2002/03owlt/samePropertyAs/premises004#q> .
_:d <http://www.w3.org/2002/07/owl#hasValue> <http://www.w3.org/2002/03owlt/samePropertyAs/premises004#v> .
_:e <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:d .
_:e <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:e <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
_:f <http://www.w3.org/2002/07/owl#intersectionOf> _:e .
<http://www.w3.org/2002/03owlt/samePropertyAs/premises004#d> <http://www.w3.org/2002/07/owl#sameClassAs> _:f .