Skip to content
Permalink
Browse files

updated quotes in boxworld and cardworld

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent b81b3ab commit d18539cfdd67ecd173bc4741416ed37ca7c484ab
Showing with 2 additions and 2 deletions.
  1. +1 −1 ontologies/boxworld/boxworld_surface.clif
  2. +1 −1 ontologies/cardworld/cardworld_surface.clif
@@ -3,7 +3,7 @@

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

(cl-comment "Each point, edge, and surface is part of a unique box.")
(cl-comment 'Each point, edge, and surface is part of a unique box.')
(forall (x1 x2 y)
(if (and (part y x1) (part y x2) (box x1) (box x2)
(or (point y) (edge y) (surface y)))
@@ -3,7 +3,7 @@

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

(cl-comment "Each point and edge are part of a unique surface.")
(cl-comment 'Each point and edge are part of a unique surface.')
(forall (x s1 s2)
(if (and (surface s1) (surface s2) (part x s1) (part x s2)
(or (point x) (edge x)))

0 comments on commit d18539c

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