PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Since ABCD is a square, then angle BAD is a right angle; therefore angle CAD is half a right angle.
http://www.w3.org/ns/prov#wasQuotedFrom
  • themathpage.com