diff --git a/DOL-terms.rdf b/DOL-terms.rdf
index 430024c..8ccf686 100644
--- a/DOL-terms.rdf
+++ b/DOL-terms.rdf
@@ -1085,6 +1085,18 @@ SubPropertyChain: isProfileOf o supportsSerialization
sentence postulated to be valid (i.e.\ true in every model)
+
+ infrastructure axiom
+
+
+
+
+
+
+
+ axiom that used in a simple theoroidal mapping
+
+
basic OMS