When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.