Permalink
Browse files

Update finite_sim_vc_end.clif

  • Loading branch information...
gruninger committed Jun 7, 2016
1 parent e0b5d58 commit 0bd32d3c16fa43bc2821901460ad98427eed6745
Showing with 3 additions and 3 deletions.
  1. +3 −3 ontologies/combined_time/finite_sim_vc_end.clif
@@ -8,10 +8,10 @@
(not (timeinterval x))))
(forall (i p q)
(if (timeinterval i)
(and (= p (beginof i))
(if (and (timeinterval i)
(= p (beginof i))
(= q (endof i)))
(= i (between p q))))
(= i (between p q))))
(forall (i)
(if (timeinterval i)

0 comments on commit 0bd32d3

Please sign in to comment.