corrected typo - point(y) instead of point(x) in the following axiom:

(forall (x) (if (line x) (exists (y) (and (point y) (in x y)))))
gruninger · Jul 16, 2013 · 4c84841 · 4c84841
1 parent d2520a9
commit 4c84841
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ontologies/mereological_geometry/wmg.clif b/ontologies/mereological_geometry/wmg.clif
@@ -29,7 +29,7 @@
 (forall (x)
 	(if	(line x)
 		(exists (y)
-			(and	(point x)
+			(and	(point y)
 				(in x y)))))
 
 (forall (x l)