Commit 02ddcf39 authored by María's avatar María
Browse files

prefix y PO axiom

change prefix to s4envi
change axiom in PhysicalObject about contains
parent 06d98b7c
Loading
Loading
Loading
Loading
+976 −310

File changed.

Preview size limit exceeded, changes collapsed.

+801 −1097

File changed.

Preview size limit exceeded, changes collapsed.