Predicates that reason about instantiations are called meta-logical. Examples are:
These predicates are outside the realm of pure monotonic logic programs, because they break properties like commutativity of conjunction.
Other predicates that are meta-logical include:
These predicates could in principle be modeled within first-order logic, but require an infinite number of clauses.