blob: 3e6e1658bd16d797a51f1b06914e1dab1053a457 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
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)))))
|
