La condición de existencia indica que "[x, P, t] existe si y solo si el objeto x ejemplifica la propiedad P en el momento t".