=== Proposed Core Template !DefinitionOfClass ===

[[br]]This is a template for typed defining of classes. 
[[br]]!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. 
[[br]]
[[br]]Roles: 
[[br]]1 hasClassDefinition !ClassOfInformationObject 
[[br]]2 hasContext !ClassOfClassOfDefinition 
[[br]]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)