#
# 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: 
#
# A reasoner can also deduce that <code>hasLeader</code> is a <code>subProperty</code> of <code>hasHead</code> and <code>hasHead</code> is a <code>subProperty</code> of <code>hasLeader</code>.
#
<http://www.w3.org/2002/03owlt/samePropertyAs/premises002#hasHead> <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/premises002#hasLeader> <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/premises002#hasHead> <http://www.w3.org/2002/07/owl#samePropertyAs> <http://www.w3.org/2002/03owlt/samePropertyAs/premises002#hasLeader> .