Skip to content
Permalink
Browse files

corrected ordered_cayley

  • Loading branch information...
michael.gruninger
michael.gruninger committed Mar 22, 2015
1 parent 6b6613b commit ed8f7c1c57b93558689d27dc48c0c6f3c7d11671
Showing with 2 additions and 3 deletions.
  1. +2 −3 ontologies/ordered_cayley/oa.clif
@@ -6,14 +6,13 @@
(cl-imports http://colore.oor.net/cayley_graph/free_semigroup_cayley.clif)

(forall (x y z w)
(if (and (generator y)
(append y z w))
(if (apply y z w)
(iff (lt x w)
(leq x z))))

(forall (x y)
(if (lt x y)
(exists (z w)
(append z w y))))
(apply z w y))))

)

0 comments on commit ed8f7c1

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.