Changes between Version 10 and Version 11 of SigMmt/Templates/DefinitionOfClass

Show
Ignore:
Timestamp:
01/17/11 08:01:18 (13 years ago)
Author:
mfedorov (IP: 93.186.61.242)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SigMmt/Templates/DefinitionOfClass

    v10 v11  
    1010ClassOfArrangedIndividual(x3) &  
    1111exists u (ClassOfDefinitionTriple(u, x1, x3) & 
    12   ClassificationTemplate(u, x2) &  
    13 ) .  
     12  ClassificationTemplate(u, x2)) .  
    1413}}} 
    1514EXAMPLE The statement !DefinitionOfClass(GOST 17375-2001, APPLICABLE STANDARD, PIPE ELBOWS TYPE XYZ) 
Home
About PCA
Reference Data Services
Projects
Workgroups