| 1 | === Base Template !IndirectPropertyScaleReal === |
| 2 | |
| 3 | [[br]]This template is for assigning a typed indirect property to an individual, with magnitude given as a real number and a scale. |
| 4 | [[br]] |
| 5 | [[br]]!IndirectPropertyScaleReal(a, b, c, d) means that a is is a !ClassOfIndirectProperty, b a (temporal part of) |
| 6 | !PossibleIndividual to which the relation applies, c is a floating point number with the property value and d the |
| 7 | Scale as unit of measurement. b has a a type of !ClassOfIndirectProperty, which has c value and d unit of measurement. |
| 8 | [[br]] |
| 9 | [[br]]Roles: |
| 10 | [[br]]1 hasPropertyType !ClassOfIndirectProperty |
| 11 | [[br]]2 hasPropertyPossessor !PossibleIndividual |
| 12 | [[br]]3 valPropertyValue !ExpressReal |
| 13 | [[br]]4 hasPropertyScale Scale |
| 14 | |
| 15 | Axiom: |
| 16 | {{{ |
| 17 | IndirectPropertyScaleReal(x1, x2, x3, x4) <-> |
| 18 | ClassOfIndirectProperty(x1) & |
| 19 | PossibleIndividual(x2) & |
| 20 | ExpressReal(x3) & |
| 21 | Scale(x4) & |
| 22 | exists u(InstanceOfIndirectProperty(x1, x2, u) & |
| 23 | RealMagnitudeOfProperty(u, x3, x4)) . |
| 24 | }}} |