Los nombres de conceptos son conocidos en Cyc como constantes.