A predicate category and a specialization of temporally qualifiable relation. temporal existence predicate is the collection of predicates that entail the existence of at least some of their arguments throughout the entire time in which the relation holds of those arguments.

More precisely, PRED is a temporal existence predicate if and only if it is contemporary in at least one of its argument-places (see Contemporary In Arg). That is, there is at least one integer I (1 <= I <= N) such that, if (PRED ARG1 ... ARGN) holds at a time-index TIME (see Mt Time Index), then the temporal extent of ARGI subsumes TIME (see during).

Examples of TemporalExistencePredicates are length and Thinks About. A specialization is cotemporal predicate.