PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This does interesting things when you look at the three authors of HoL. Since the third term of a syllogism connects the first two, that seems like it could give support to people who want to argue that one character is a connection between the other two, although you can take your pick as to which one.
http://www.w3.org/ns/prov#wasQuotedFrom
  • markzdanielewski.com