@prefix xmlns: <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#> . 
@prefix owl: <http://www.w3.org/2002/07/owl#> . 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 
@prefix first: <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#> . 
<http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1> <http://www.w3.org/2002/07/owl#sameIndividualAs> <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2> . 
<http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1> <http://www.w3.org/2002/07/owl#sameIndividualAs> <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1> .