PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In FIG. 2B, the numerals 100 and 102 are subtracters, 104 is an AND circuit, and 108 is an output terminal.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com