added date_periodic hierarchy

gruninger · Mar 20, 2015 · 8cfa238 · 8cfa238
1 parent 864c7a6
commit 8cfa238
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/ontologies/date_periodic/date_periodic_root.clif b/ontologies/date_periodic/date_periodic_root.clif
@@ -0,0 +1,12 @@
+(cl-text http://colore.oor.net/duration/date_periodic.clif
+
+(cl-imports http://colore.oor.net/duration/point_duration.clif
+
+(cl-imports http://colore.oor.net/psl_core/psl_core.clif)
+
+(forall (a)
+	(if	(date a)
+		(exists (d)
+			(freq a d))))
+
+)