Supongamos que tenemos un lenguaje descriptivo para un dominio, por ejemplo formula_3, y que se ha definido una "TBox"(axiomas terminológicos) para modelar un dominio.