Similar to rdf/3 and rdf/4,
but P matches all predicates that are defined as an
rdfs:subPropertyOf of P. This predicate also recognises the
predicate properties inverse_of and
symmetric. See rdf_set_predicate/2.
Same as rdf_has/3, but RealPredicate
is unified to the actual predicate that makes this relation true. RealPredicate
Predicate or an rdfs:subPropertyOf Predicate. If
an inverse match is found, RealPredicate is the term inverse_of(Pred).
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in