Supongamos que formula_65 es un "TBox", "A" es un ABox, "C" un concepto y "o" un nombre de individuo: