Skip to content
Permalink
Browse files

fixed error in sub_bundle

  • Loading branch information...
michael.gruninger
michael.gruninger committed Jul 25, 2013
1 parent 2d91325 commit 98a22c36e2f1abf551410319e4620f72f66e3250
Showing with 8 additions and 4 deletions.
  1. +8 −4 ontologies/subposet_bundle/sub_bundle.clif
@@ -16,9 +16,11 @@
(and (in t x)
(in t y))))

(forall (x y t)
(forall (x t)
(if (and (line x)
(poset_element x))
(poset_element x)
(point t)
(in t x))
(tleq x x t)))

(forall (x y t)
@@ -44,9 +46,11 @@
(and (in t x)
(in t y))))

(forall (x y t)
(forall (x t)
(if (and (line x)
(poset_element x))
(mereo_element x)
(point t)
(in t x))
(tpart x x t)))

(forall (x y z t)

0 comments on commit 98a22c3

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.