(Timed) Predicate

 
Often it is sufficient to know about a phenomenon whether it is valid or not. Considering for example a room one is only interested whether the room is empty or not. It is not important how many persons are currently in the room. For representing such 0-1-phenomena, we use predicates. A predicate is true (valid) or false (not valid).

Analogously to functions most of the predicates depend on time. Such predicates are called timed predicates. Thus, in the following example Timed Predicate roomEmpty is an abbreviation for Predicate roomEmpty (TIME).

Example: Timed Predicate

The meaning of the entries in the fields Intention and Scope is the same as for functions.