PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • To say Google is a successful company reduces to I will bet if we established a test for success, which we are not going to do, Google would pass it.(Compare this to Eliezer's meta-ethics, where he says X is good reduces to I will bet if we calculated out this gigantic human morality computation, which we are not going to do, X would satisfy it.)This can be a very powerful method for resolving
http://www.w3.org/ns/prov#wasQuotedFrom
  • lesswrong.com