10 | | [[Image(GeometryRadius.png)]] |
11 | | |
12 | | Axiom: |
13 | | |
14 | | {{{ |
15 | | GeometryRadius(x1, x2, x3) <-> |
16 | | PossibleIndividual(x1) & |
17 | | ExpressReal(x2) & |
18 | | Scale(x3) & |
19 | | exists u1 |
20 | | exists u2 |
21 | | exists u3 |
22 | | exists u4 |
23 | | exists u5 |
24 | | exists u6 |
25 | | ( |
26 | | IndividualDimension(u1) & |
27 | | Property(u2) & |
28 | | PropertyQuantification(u3) & |
29 | | RealNumber(u4) & |
30 | | Classification(Circle, x1) & |
31 | | Classification(Radius, u1) & |
32 | | Classification(GeometryLength, u2) & |
33 | | Classification(X3, u3) & |
34 | | Classification(ZeroToInfinity, u4) & |
35 | | DimensionOfIndividual(x1, u1) & |
36 | | SpecializationOfIndividualDimensionFromPropertyTriple(u5, u1, u2) & |
37 | | ScaleTriple(X3, GeometryLength, ZeroToInfinity) & |
38 | | PropertyQuantificationTriple(u3, u2, u4) & |
39 | | ClassOfIdentificationTriple(u6, u4, x2) |
40 | | ) . |
41 | | }}} |
| 5 | OnnoPaap |