?class(?object) iff rdf:type(?object, ?class).

# comment!

owl:FunctionalProperty(?p) and ?p(?x,?y) and ?p(?x, ?z) 
   implies owl:sameAs(?y, ?z).