In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be represented in first-order logic by predicates having an argument that depends on time. For example, the condition “the box is on the table”, if it can change over time, cannot be represented by \mathrm{On}(\mathrm{box},\mathrm{table}); a third argument is necessary to the predicate \mathrm{On} to specify the time: \mathrm{On}(\mathrm{box},\mathrm{table},t) means that the box is on the table at time t.