Nótese que la propiedad define a la clase, no al individuo, lo que lo diferencia esencialmente de la lógica de predicados.