La distinción entre caso y tipo (en inglés token y type) se adoptó en la ontología para distinguir entre un caso individual y un tipo de casos.