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

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	if AA is a type and BB is a type and C???(A???B)C\Rightarrow (A o B), then CC is a type.
http://www.w3.org/ns/prov#wasQuotedFrom	ncatlab.org