Skip to content
Permalink
Browse files

added axioms missing from sumo_timeintervals

  • Loading branch information...
gruninger committed Feb 14, 2017
1 parent 6cafe27 commit c93aebda9386250888190febd6f25febb7cd92ac
Showing with 12 additions and 0 deletions.
  1. +12 −0 ontologies/sumo_timeintervals/sumo_timeintervals.clif
@@ -20,6 +20,18 @@
(if (TimeInterval x)
(not (TimePoint x))))

(forall (x y)
(if (before x y)
(TimeInterval (TimeIntervalFn x y))))

(forall (x)
(if (TimeInterval x)
(TimePoint (BeginFn x))))

(forall (x)
(if (TimeInterval x)
(TimePoint (EndFn x))))

(forall (x y z)
(if (and (TimePoint x)
(TimePoint y)

0 comments on commit c93aebd

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.