diff git a/DOLterms.rdf b/DOLterms.rdf
index de42e38..b95fb7a 100644
 a/DOLterms.rdf
+++ b/DOLterms.rdf
@@ 1981,15 +1981,29 @@ of logic (model theory).
nonlogical symbol

+
Nonlogical symbols in Common Logic \nisref{ISO/IEC 24707:2007} comprise \begin{itemize} \item names (denoting objects from the domain of discourse), \item sequence markers (denoting sequences of objects). \end{itemize} This is opposed to logical symbols in Common Logic, e.g.\ logical connectives and quantifiers.
Nonlogical symbols in OWL \nisref{W3C/TR RECowl2syntax:2009} (there called ``entities'') comprise \begin{itemize} \item individuals (denoting objects from the domain of discourse), \item classes (denoting sets of objects; also called concepts), and \item properties (denoting binary relations over objects; also called roles). \end{itemize} This is opposed to logical symbols in OWL, e.g.\ those for intersection and union of classes.
OMS symbol
The notion of ``atomic sentence'' used in logic is different, it usually may involve several nonlogical symbols.
a nonlogical symbol in an OMS
 atomic expression or syntactic constituent of an OMS that requires an interpretation through a model
+ symbol that requires an interpretation through a model

+
+
+ logical symbol
+
+ Logical symbols in Common Logic include propositional connectives and quantifiers.
+ Logical symbols in OWL include propositional connectives (e.g. the intersection operator on classes) and quantifiers (e.g. the existential restriction operator).
+ symbol whose interpretation is fixed by the logic
+
+
+
+ symbol
+
+ atomic expression or syntactic constituent of an OMS
+
+
OMS (ontology, specification or MDE model)