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

Show
Ignore:
Timestamp:
03/04/11 09:14:37 (11 years ago)
Author:
mfedorov (IP: 93.186.61.242)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/IndirectPropertyRestrictionOfClass

    v2 v3  
    1818Scale(x3) & 
    1919EnumeratedPropertySet(x4) &    
    20 exists u (PropertySpace(u) & ClassOfIndirectPropertyTriple(x1, x2, u) & 
    21           exists v (NumberSpace(v) & ScaleTriple(x3, v, u)) & 
     20exists u (ClassOfIndirectPropertyTriple(x1, x2, u) & 
     21          exists v (ScaleTriple(x3, v, u)) & 
    2222          ClassOfClassificationTemplate(u, x4)). 
    2323}}} 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search