diff --git a/DOL-terms.rdf b/DOL-terms.rdf
index de42e38..49deee6 100644
--- a/DOL-terms.rdf
+++ b/DOL-terms.rdf
@@ -1585,7 +1585,7 @@ local envorinment, which is the signature of the 'given OMS'.
- metaframework mathematically formalising the notion of a logic
+ metaframework mathematically formalising the notion of a logic in terms of notions of signature, signature morphism, model, sentence and satisfaction