${\mathrm{U}}_{\mathrm{i}}^{-}=<{\mathrm{IUI}}_{\mathrm{a}},{\mathrm{t}}_{\mathrm{a}},\mathbf{r},\mathrm{o},{\mathrm{IUI}}_{\mathrm{p}},\mathrm{u},{\mathrm{t}}_{\mathrm{r}}>$

The particular referred to by IUIa asserts at time ta that the relation r of ontology o does not obtain at time tr between the particular referred to by IUIp and any of the instances of the universal u at time tr