Proposed Core Template DefinitionOfClass

This is a template for typed defining of classes.
DefinitionOfClass(a, b, c) means that a and c are classes, b is a type of definition and a is a b-typed definition for c.

Roles:
1 hasClassDefinition ClassOfInformationObject
2 hasContext ClassOfClassOfDefinition
3 hasClass ClassOfArrangedIndividual

Axiom:

DefinitionOfClass(x1, x2, x3) <-> 
ClassOfInformationObject(x1) & 
ClassOfClassOfDefinition(x2) & 
ClassOfArrangedIndividual(x3) & 
ClassOfClassOfDefinitionTriple(x2, x1, x3) . 

EXAMPLE The statement DefinitionOfClass(GOST 17375-2001, APPLICABLE STANDARD, PIPE ELBOWS TYPE XYZ)