Changes between Version 1 and Version 2 of SigMmt/Templates/IndirectPropertyRestrictionOfClass

Timestamp:

02/15/11 12:47:23 (13 years ago)

Author:

mfedorov (IP: 93.186.61.242)

Comment:

--

SigMmt/Templates/IndirectPropertyRestrictionOfClass

@@ -1 +1 @@
 === Template !IndirectPropertyRestrictionOfClass ===
 
-[[br]]This template is for stating that a member of a specific Class of Individuals may only be assigned a Property that is contained by a specific set of properties.
+[[br]]This template is for stating that a member of a specific Class of Individuals may only be assigned an Indirect Property that is contained by a specific set of properties.
 [[br]]
-[[br]]!IndirectPropertyRestrictionOfClass(a, b, c, d) means that a is an !EnumeratedPropertySet, b is a !ClassOfArrangedIndividual to which the relation applies, c is a !PropertySpace to which members of a belong, and d is a Scale as unit of measure. 
+[[br]]!IndirectPropertyRestrictionOfClass(a, b, c, d) means that a is a !ClassOfIndirectProperty, b is a !ClassOfArrangedIndividual to which the relation applies, c is a Scale as unit of measure, and d is an !EnumeratedPropertySet to which assigned Properties belong.
 [[br]]
 [[br]]Roles: 
-[[br]]1 hasPropertySet !EnumeratedPropertySet 
+[[br]]1 hasPropertyType !ClassOfIndirectProperty 
 [[br]]2 hasPossessorClass !ClassOfArrangedIndividual 
-[[br]]3 hasPropertySpace !PropertySpace
-[[br]]4 hasScale Scale
+[[br]]3 hasScale Scale
+[[br]]4 hasPropertySet !EnumeratedPropertySet
 
 Axiom: 
 {{{
 IndirectPropertyRestrictionOfClass(x1, x2, x3, x4) <-> 
-EnumeratedPropertySet(x1) & 
+ClassOfIndirectProperty(x1) & 
 ClassOfArrangedIndividual(x2) & 
-PropertySpace (x3) &
-Scale(x4) &   
-ClassOfClassificationTemplate(x2, x1) &
-ClassOfClassificationTemplate(x3, x1) & 
-exists p, u (Scale(p) and NumberSpace(u) and ScaleTriple(p, u, x3) & SpecializationTemplate(p, x4)) .
+Scale(x3) &
+EnumeratedPropertySet(x4) &   
+exists u (PropertySpace(u) & ClassOfIndirectPropertyTriple(x1, x2, u) &
+          exists v (NumberSpace(v) & ScaleTriple(x3, v, u)) &
+          ClassOfClassificationTemplate(u, x4)).
 }}}
 
-EXAMPLE The statement !IndirectPropertyRestrictionOfClass (ABC SET OF DIAMETERS, ELBOW TYPE XYZ, NOMINAL DIAMETER, MILLIMETRE)
+EXAMPLE The statement !IndirectPropertyRestrictionOfClass (NOMINAL DIAMETER, ELBOW TYPE XYZ, MILLIMETRE, ABC SET OF DIAMETERS)
 
 === Discussion ===