Skip to content

Commit

Permalink
Update codi_bounded_discrete_with_theorems.clif
Browse files Browse the repository at this point in the history
  • Loading branch information
@thahmann
thahmann committed Mar 30, 2019
1 parent bcee0b8 commit b508145
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions ontologies/multidim_mereotopology_codi/codi_bounded_discrete_with_theorems.clif
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,13 @@

(cl-comment 'CODI with its relative dimension relations constrained to form a discrete bounded set. All relevant theorems that explicitly relate its spatial relations (like sobproperties, disjointness, and exhaustiveness) are included')

(cl-text http://colore.oor.net/multidim_mereotopology_codi/codi_with_theorems.clif
(cl-text http://colore.oor.net/multidim_mereotopology_codi/codi_bounded_discrete_with_theorems.clif

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

(cl-comment 'Extra theorems for bounded discrete dimensions')

(cl-imports http://colore.oor.net/multidim_mereotopology_dim/theorems/dim_linear_bounded_discrete_theorems.clif
(cl-imports http://colore.oor.net/multidim_mereotopology_dim/theorems/dim_prime_linear_bounded_discrete_theorems.clif



Expand Down

0 comments on commit b508145

Please sign in to comment.