summaryrefslogtreecommitdiff
path: root/examples/SUMO/axioms/engineeringP.gft
diff options
context:
space:
mode:
Diffstat (limited to 'examples/SUMO/axioms/engineeringP.gft')
-rw-r--r--examples/SUMO/axioms/engineeringP.gft24
1 files changed, 0 insertions, 24 deletions
diff --git a/examples/SUMO/axioms/engineeringP.gft b/examples/SUMO/axioms/engineeringP.gft
deleted file mode 100644
index e6398b86b..000000000
--- a/examples/SUMO/axioms/engineeringP.gft
+++ /dev/null
@@ -1,24 +0,0 @@
-
-physicalDomain (el ? ? ? Velocity) (el ? ? ? Force) (el ? ? ? Translatory)
-
-physicalDomain (el ? ? ? AngularVelocity) (el ? ? ? Torque) (el ? ? ? Rotary)
-
-physicalDomain (el ? ? ? Voltage) (el ? ? ? Current) (el ? ? ? Electrical)
-
-physicalDomain (el ? ? ? Pressure) (el ? ? ? VolumeFlow) (el ? ? ? FluidPower)
-
-meronym (descToDesc ? ? ? (desc Gear ? ?)) (descToDesc ? ? ? (desc GearTrain ? ?))
-
-meronym (descToDesc ? ? ? (desc GearTrain ? ?)) (descToDesc ? ? ? (desc Gearbox ? ?))
-
-meronym (descToDesc ? ? ? (desc Shaft ? ?)) (descToDesc ? ? ? (desc Motor ? ?))
-
-meronym (descToDesc ? ? ? (desc Rotor ? ?)) (descToDesc ? ? ? (desc ElectricalMotor ? ?))
-
-meronym (descToDesc ? ? ? (desc Terminal ? ?)) (descToDesc ? ? ? (desc ElectricalComponent ? ?))
-
-meronym (descToDesc ? ? ? (desc Base ? ?)) (descToDesc ? ? ? (desc BjtTransistor ? ?))
-
-meronym (descToDesc ? ? ? (desc Collector ? ?)) (descToDesc ? ? ? (desc BjtTransistor ? ?))
-
-meronym (descToDesc ? ? ? (desc Emitter ? ?)) (descToDesc ? ? ? (desc BjtTransistor ? ?))