Skip to content
Permalink
Browse files

updated quotes in approximate_point

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent a59665d commit bbebb9c090740d7baa436c6588a9763c4d4895e1
Showing with 14 additions and 13 deletions.
  1. +1 −0 .gitignore
  2. +11 −11 ontologies/approximate_point/ap_interval.clif
  3. +2 −2 ontologies/approximate_point/ordered_ap.clif
@@ -50,3 +50,4 @@ ontologies/.DS_Store
*.p9
*.tptp
*.out
.project
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/approximate_point/approximate_point.clif)

(cl-comment "Glb")
(cl-comment 'Glb')
(forall (x y z)
(iff (glb x y z)
(and (finer z x)
@@ -12,20 +12,20 @@
(finer u y))
(finer u z))))))

(cl-comment "CONJ")
(cl-comment 'CONJ')
(forall (x y)
(if (ncdf x y)
(exists (z)
(glb x y z))))

(cl-comment "Underlaps")
(cl-comment 'Underlaps')
(forall (x y)
(iff (underlaps x y)
(exists (z)
(and (finer x z)
(finer y z)))))

(cl-comment "Lub")
(cl-comment 'Lub')
(forall (x y z)
(iff (lub x y z)
(and (finer x z)
@@ -35,36 +35,36 @@
(finer y u))
(finer z u))))))

(cl-comment "DISJ")
(cl-comment 'DISJ')
(forall (x y)
(if (underlaps x y)
(exists (z)
(lub x y z))))

(cl-comment "FREE")
(cl-comment 'FREE')
(forall (x y)
(if (not (finer x y))
(exists (z)
(and (finer z x)
(not (ncdf z y))))))

(cl-comment "MOND-1")
(cl-comment 'MOND-1')
(forall (x y z)
(if (and (precedes x y)
(precedes z y))
(exists (w)
(and (glb x z w)
(precedes w y)))))

(cl-comment "MOND-2")
(cl-comment 'MOND-2')
(forall (x y z)
(if (and (precedes y x)
(precedes y z))
(exists (w)
(and (glb x z w)
(precedes y w)))))

(cl-comment "NEIGH-1")
(cl-comment 'NEIGH-1')
(forall (x y)
(if (precedes x y)
(exists (w)
@@ -73,7 +73,7 @@
(and (precedes x z)
(precedes z w))))))))

(cl-comment "NEIGH-2")
(cl-comment 'NEIGH-2')
(forall (x y)
(if (precedes y x)
(exists (w)
@@ -82,7 +82,7 @@
(and (precedes w z)
(precedes z x))))))))

(cl-comment "CONV")
(cl-comment 'CONV')
(forall (x y z)
(if (and (precedes x y)
(precedes y z))
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/approximate_point/approximate_point.clif)

(cl-comment "Glb")
(cl-comment 'Glb')
(forall (x y z)
(iff (glb x y z)
(and (finer z x)
@@ -12,7 +12,7 @@
(finer u y))
(finer u z))))))

(cl-comment "CONJ")
(cl-comment 'CONJ')
(forall (x y)
(if (ncdf x y)
(exists (z)

0 comments on commit bbebb9c

Please sign in to comment.
You can’t perform that action at this time.