Formalmente el modelo teórico se da por: formula_20 el cual consta de un conjunto no vacío formula_21 llamado el dominio de formula_22 y una función formula_23 (la función de interpretación de formula_22) que asigna a cada concepto un subconjunto de formula_21, cada rol a un subconjunto de formula_26 y a cada individuo un elemento de formula_21, de tal manera que: