=== 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 !ClassOfInformationRepresentation  [[BR]]2 hasContext !ClassOfClassOfDefinition  [[BR]]3 hasClass !ClassOfArrangedIndividual

Axiom:

{{{
DefinitionOfClass(x1, x2, x3) <-> 
ClassOfInformationRepresentation(x1) & 
ClassOfClassOfDefinition(x2) & 
ClassOfArrangedIndividual(x3) & 
exists u (ClassOfDefinitionTriple(u, x1, x3) &
  ClassificationTemplate(u, x2)) . 
}}}
EXAMPLE The statement !DefinitionOfClass(GOST 17375-2001, APPLICABLE STANDARD, PIPE ELBOWS TYPE XYZ)

=== Analysis diagram ===
[[Image(DefinitionOfClass-corrected.png)]]

=== Revision log ===
||12/23/2010||mfedorov||created||
||01/16/2011||!OnnoPaap||changed !ClassOfClassOfDefinitionTriple to !ClassOfDefinitionTriple, analyzed, released.||
||01/17/2011||!OnnoPaap||Repaired error in axiom.||
||01/17/2011||mikhail.fedorov||changed 1st role type to !ClassOfInformationRepresentation||