Skip to content
Permalink
Browse files

TPTP conversion for fullphyscont added

  • Loading branch information...
thahmann committed Nov 9, 2018
1 parent 5f481e6 commit 8a7b711eef3c50526e7cb39f2645e91a20deb059
Showing with 4 additions and 0 deletions.
  1. +4 −0 ontologies/multidim_space_voids/definitions/conversions/fullphyscont.p9
@@ -0,0 +1,4 @@
formulas(sos).
% cl-imports multidim_space_voids/voids_extended.clif
( all x11 all x12 ( (fullphyscont(x12, x11)) <-> ((ped(x11) & ped(x12) & p(r(x11), ch(x12)) & ( (- (mat(x12))) -> (p(r(x11), r(x12))) ))) )) .
end_of_list.

0 comments on commit 8a7b711

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