Skip to content
Permalink
Browse files

added two new hierarchies: connections, and quality

  • Loading branch information...
bahar.ameri@gmail.com
bahar.ameri@gmail.com committed Mar 14, 2014
1 parent c830169 commit 74ad64f83e0ae93382650674e76676cc96b61993
@@ -0,0 +1,27 @@

(cl-text http://colore.oor.net/connections/connection.clif


(cl-comment "C1: Reflexivity")

(forall (x)
(if (not (= x 0))
(c x x)))

(cl-comment "C2: Symmetry")

(forall (x y)
(if (c x y)
(c y x)))

(cl-comment "C-Ext")

(forall (x y)
(if
(forall (z)
(iff (C x z)
(C y z)))
(= x y)))

)

@@ -0,0 +1,12 @@

(cl-text ap2im

(forall (x y)
(iff (meets x y)
(and (precedes x y)
(not (exists (z)
(and (precedes x z)
(precedes z y)))))))


)
@@ -0,0 +1,43 @@

(cl-text approximate2periods

(forall (x y)
(iff (precedence x y)
(precedes x y)))

(forall (x y)
(iff (inclusion x y)
(finer x y)))

(forall (x y)
(iff (overlaps x y)
(exists (z)
(and (finer z x)
(finer z y)))))

(forall (x y z)
(iff (glb x y z)
(and (finer z x)
(finer z y)
(forall (u)
(if (and (finer u x)
(finer u y))
(finer u z))))))

(forall (x y)
(iff (underlaps x y)
(exists (z)
(and (finer x z)
(finer y z)))))

(forall (x y z)
(iff (lub x y z)
(and (finer x z)
(finer y z)
(forall (u)
(if (and (finer x u)
(finer y u))
(finer z u))))))


)
@@ -0,0 +1,17 @@
(cl-text http://colore.oor.net/quality/direct_quality.clif


(forall (x y1 y2)
(if (and (dqt x y1)(dqt x y2))
(= y1 y2)))

(forall (x1 x2 y)
(if (and (dqt x1 y)(dqt x2 y)(TQ x1)(TQ x2)(PD y))
(= x1 x2)))

(forall (x)
(if (TQ x)
(exists (y) (and (PD y)(dqt x y)))))

)

@@ -0,0 +1,12 @@

(cl-text ap2im

(forall (x y)
(iff (meets x y)
(and (precedes x y)
(not (exists (z)
(and (precedes x z)
(precedes z y)))))))


)
@@ -0,0 +1,43 @@

(cl-text approximate2periods

(forall (x y)
(iff (precedence x y)
(precedes x y)))

(forall (x y)
(iff (inclusion x y)
(finer x y)))

(forall (x y)
(iff (overlaps x y)
(exists (z)
(and (finer z x)
(finer z y)))))

(forall (x y z)
(iff (glb x y z)
(and (finer z x)
(finer z y)
(forall (u)
(if (and (finer u x)
(finer u y))
(finer u z))))))

(forall (x y)
(iff (underlaps x y)
(exists (z)
(and (finer x z)
(finer y z)))))

(forall (x y z)
(iff (lub x y z)
(and (finer x z)
(finer y z)
(forall (u)
(if (and (finer x u)
(finer y u))
(finer z u))))))


)

0 comments on commit 74ad64f

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.