Permalink
Browse files

Update constitution.clif

  • Loading branch information...
yvonneru committed Oct 23, 2017
1 parent 22aaa48 commit d7f8243c5e81691fc9034d214b37ec2f361e6c62
Showing with 2 additions and 2 deletions.
  1. +2 −2 ontologies/constitution/constitution.clif
@@ -1,7 +1,5 @@
(cl-text http://colore.oor.net/constitution/constitution.clif
(cl-imports http://colore.oor.net/matter/matter.clif)
(forall (x y)
(if (constitutes x y)
(and (Matter x)
@@ -24,5 +22,7 @@
(constitutes x1 y)
(constitutes x2 y))
(x1 = x2)))
chunkOf
)

0 comments on commit d7f8243

Please sign in to comment.