Permalink
Browse files

Update boxworld_peak.clif

fixed typos
  • Loading branch information...
yvonneru committed Sep 15, 2017
1 parent 9987853 commit 73fa6ab81435b89c922ccab8f8374b33ed71df3f
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/boxworld/boxworld_peak.clif
@@ -23,7 +23,7 @@
(forall (v e1 e2 e3)
(if (and (vertex v) (edge e1) (edge e2) (edge e3)
(not (= e1 e2)) (not (= e1 e3)) (not (= e2 e3))
(part v e1) (part v e2) (part e v3))
(part v e1) (part v e2) (part v e3))
(or (rbetween e1 e2 e3) (rbetween e2 e3 e1) (rbetween e3 e1 e2))))
(forall (e1 e2 e3 e4)

0 comments on commit 73fa6ab

Please sign in to comment.