axiom holds for all times
This is used when the statement/axiom is assumed to hold true 'eternally'
## How to interpret (informal)
First the "atemporal" FOL is derived from the OWL using the standard
interpretation. This axiom is temporalized by embedding the axiom
within a for-all-times quantified sentence. The t argument is added to
all instantiation predicates and predicates that use this relation.
SubClassOf: part_of some cell
forall t :
forall n :
exists c :
This interpretation is *not* the same as an at-all-times relation