=== 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) & 
ClassOfDefinitionTriple(x2, x1, x3) . 
}}}
EXAMPLE The statement !DefinitionOfClass(GOST 17375-2001, APPLICABLE STANDARD, PIPE ELBOWS TYPE XYZ)

?Question? shouldn't the axiom look like:
!DefinitionOfClass(x1, x2, x3) <-> 
!ClassOfInformationObject(x1) & 
!ClassOfClassOfDefinition(x2) & 
!ClassOfArrangedIndividual(x3) & 
Exist y1 (!ClassOfDefinitionTriple(y1, x1, x3) & !ClassificationTemplate (y1, x2)) .


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

=== Revision log ===
||12/23/2010||mfedorov||created||
||01/16/2011||!OnnoPaap||changed !ClassOfClassOfDefinitionTriple to !ClassOfDefinitionTriple, analyzed, released.||