Skip to content
Permalink
Browse files

Update ontologies/multidim_mereotopology_cont/conversions/cont_basic.p9

  • Loading branch information...
thahmann committed Nov 9, 2018
1 parent 8d5f5b1 commit efd6bc175533190f21a62149377f99280ba432b7
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/multidim_mereotopology_cont/conversions/cont_basic.p9
@@ -1,7 +1,7 @@
formulas(sos).
( all x11 ( (- (zex(x11))) <-> (cont(x11, x11)) )) .
( all x22 all x21 ( ((cont(x22, x21) & cont(x21, x22))) -> ((x22=x21)) )) .
( all x33 all x31 all x32 ( ((cont(x33, x31) & cont(x31, x32))) -> (cont(x33, x32)) )) .
( all x33 all x32 all x31 ( ((cont(x33, x32) & cont(x32, x31))) -> (cont(x33, x31)) )) .
( all x42 all x41 ( (zex(x42)) -> ((- (cont(x41, x42)) & - (cont(x42, x41)))) )) .
( all x52 all x51 ( ((zex(x52) & zex(x51))) -> ((x52=x51)) )) .
end_of_list.

0 comments on commit efd6bc1

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.