1 files changed, 0 insertions, 33 deletions
diff --git a/examples/SUMO/axioms/engineering.gft b/examples/SUMO/axioms/engineering.gft
deleted file mode 100644
index 3e6e1658b..000000000
--- a/examples/SUMO/axioms/engineering.gft
+++ /dev/null
@@ -1,33 +0,0 @@
-
-forall Modeling (\MODELING -> exists Model (\MODEL ->  result(var ? ? ? MODELING)(var ? ? ? MODEL)))
-
-forall MultipoleModeling (\MODELING -> exists MultipoleModel (\MODEL ->  result(var ? ? ? MODELING)(var ? ? ? MODEL)))
-
-forall MultipolePole (\POLE -> forall Abstract (\MULTIPOLE ->  impl ( abstractPart(var ? ? ? POLE)(var ? ? ? MULTIPOLE))(exists MultipoleSection (\SECTION -> and ( abstractPart(var ? ? ? POLE)(var ? ? ? SECTION))( abstractPart(var ? ? ? SECTION)(var ? ? ? MULTIPOLE))))))
-
-forall PhysicalDimension (\DTHROUGH -> forall PhysicalDimension (\DACROSS -> forall MultipoleQuantity (\QTHROUGH -> forall MultipoleQuantity (\QACROSS -> forall MultipoleVariable (\THROUGH -> forall MultipoleVariable (\ACROSS -> forall MultipolePole (\POLE ->  impl (and ( hasAcrossVariable(var ? ? ? POLE)(var ? ? ? ACROSS))(and ( hasThroughVariable(var ? ? ? POLE)(var ? ? ? THROUGH))(and ( hasVariable(var ? ? ? QACROSS)(var ? ? ? ACROSS))(and ( hasVariable(var ? ? ? QTHROUGH)(var ? ? ? THROUGH))(and ( hasDimension(var ? ? ? QACROSS)(var ? ? ? DACROSS))( hasDimension(var ? ? ? QTHROUGH)(var ? ? ? DTHROUGH)))))))(exists PhysicalDomain (\DOMAIN ->  physicalDomain(var ? ? ? DACROSS)(var ? ? ? DTHROUGH)(var ? ? ? DOMAIN))))))))))
-
-forall Multipole (\MULTIPOLE -> exists MultipoleSection (\SECTION ->  abstractPart(var ? ? ? SECTION)(var ? ? ? MULTIPOLE)))
-
-forall MultipoleSection (\SECTION -> exists MultipolePole (\POLE1 -> exists MultipolePole (\POLE2 -> and ( abstractPart(var ? ? ? POLE1)(var ? ? ? SECTION))(and ( abstractPart(var ? ? ? POLE2)(var ? ? ? SECTION))( not (equal(var ? ? ? POLE1)(var ? ? ? POLE2)))))))
-
-forall MultipolePort (\PORT -> exists MultipolePole (\POLE1 -> exists MultipolePole (\POLE2 -> exists MultipolePole (\POLE3 -> and ( abstractPart(var ? ? ? POLE1)(var ? ? ? PORT))(and ( abstractPart(var ? ? ? POLE2)(var ? ? ? PORT))(and ( abstractPart(var ? ? ? POLE3)(var ? ? ? PORT))(and ( equal(var ? ? ? POLE1)(var ? ? ? POLE2))(and ( equal(var ? ? ? POLE2)(var ? ? ? POLE3))( equal(var ? ? ? POLE1)(var ? ? ? POLE3))))))))))
-
-forall AcrossVariableAccumulator (\M -> exists CapacitorElement (\C ->  represents(var ? ? ? M)(var ? ? ? C)))
-
-forall ElectricalTwopole (\M -> forall Entity (\E -> exists CapacitorElement (\C ->  represents(var ? ? ? M)(var ? ? ? E))))
-
-forall ThroughVariableAccumulator (\M -> exists InductorElement (\I ->  represents(var ? ? ? M)(var ? ? ? I)))
-
-forall ElectricalTwopole (\M -> forall Entity (\I -> exists InductorElement (\C ->  represents(var ? ? ? M)(var ? ? ? I))))
-
-forall Twoport (\M -> exists Transducer (\T ->  represents(var ? ? ? M)(var ? ? ? T)))
-
-forall Dissipator (\M -> exists ResistorElement (\R ->  represents(var ? ? ? M)(var ? ? ? R)))
-
-forall ElectricalTwopole (\M -> exists ResistorElement (\R ->  represents(var ? ? ? M)(var ? ? ? R)))
-
-forall PowerSource (\PS -> exists RadiatingElectromagnetic (\RE ->  origin(var ? ? ? RE)(var ? ? ? PS)))
-
-forall ITProcess (\PROCESS -> exists ITAgent (\AGENT -> exists Computer (\PATIENT -> and ( agent(var ? ? ? PROCESS)(var ? ? ? AGENT))( patient(var ? ? ? PROCESS)(var ? ? ? PATIENT)))))
-