- rdf_term(?Term) is nondet
- True if Term appears in the RDF database. Term is either an IRI,
literal or blank node and may appear in any position of any
triple. If Term is ground, it is pre-processed as the object
argument of rdf_assert/3 and the predicate is semidet.