diff options
Diffstat (limited to 'examples/SUMO/axioms/engineeringP.gft')
| -rw-r--r-- | examples/SUMO/axioms/engineeringP.gft | 24 |
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 ? ?))
|
