PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If no cycle is to be performed, the EXRDY signal is high and the operation is a write operation, then control proceeds to state ID. If no cycle is to be performed, the EXRDY signal is high and the operation is a read operation, then control proceeds to state RD for reasons stated above.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com