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) & 
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

Revision log

12/23/2010	mfedorov	created
01/16/2011	OnnoPaap	changed ClassOfClassOfDefinitionTriple to ClassOfDefinitionTriple, analyzed, released.