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 ClassOfInformationRepresentation
2 hasContext ClassOfClassOfDefinition
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

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