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
relation has no temporal argument
This is used when the first-order logic form of the relation is
binary, and takes no temporal argument.
SubClassOf: develops_from some lateral-plate-mesoderm
forall t, t2:
forall x :
exists y :