 Suppose we have three kinds of actions/events—Load, Smoke and Shoot—and three time dependent properties, the fluents Alive, Loaded and  Dead.[6]  Besides actions and fluents we will also need instants of time in our basic ontology. The predicates listed in Table 4 are used to express actions and their effects and to locate them in time. 