About: http://webisa.webdatacommons.org/357601076

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	To see that this is a function note first that $f^{-1}$ is a function since $f$ is a bijection between $X$ and $Y$ and the domains of $f$ and its inverse are disjoint, therefore the union is a function.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com