If the property of being an object is expressed by a basic predicate of the system, then such a predicate (if it exists) is called a universal predicate, or universal category.
Universal Predicate
Explore with Wolfram|Alpha
References
Curry, H. B. Foundations of Mathematical Logic. New York: Dover, p. 113, 1977.Referenced on Wolfram|Alpha
Universal PredicateCite this as:
Weisstein, Eric W. "Universal Predicate." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/UniversalPredicate.html