Changes between Version 11 and Version 12 of SigMmt/Templates/DefinitionOfClass

Timestamp:

02/28/11 07:55:10 (13 years ago)

Author:

mfedorov (IP: 93.186.61.242)

Comment:

--

SigMmt/Templates/DefinitionOfClass

@@ -1 +1 @@
 === 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
+[[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:
@@ -6 +6 @@
 {{{
 DefinitionOfClass(x1, x2, x3) <-> 
-ClassOfInformationObject(x1) & 
+ClassOfInformationRepresentation(x1) & 
 ClassOfClassOfDefinition(x2) & 
 ClassOfArrangedIndividual(x3) & 
@@ -21 +21 @@
 ||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||