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

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	This is what is known as Second Order Logic - as opposed to the usual logic that is first order.Using Second Order Logic you can say things like there is a property such that if two sets have this property then so does their union.
http://www.w3.org/ns/prov#wasQuotedFrom	sigfpe.com