Changes between Version 9 and Version 10 of SigMmt/Templates/DefinitionOfClass

Timestamp:

01/17/11 07:53:47 (13 years ago)

Author:

onnopaap (IP: 141.197.14.187)

Comment:

--

SigMmt/Templates/DefinitionOfClass

@@ -9 +9 @@
 ClassOfClassOfDefinition(x2) & 
 ClassOfArrangedIndividual(x3) & 
-ClassOfDefinitionTriple(x2, x1, x3) . 
+exists u (ClassOfDefinitionTriple(u, x1, x3) &
+  ClassificationTemplate(u, x2) & 
+) . 
 }}}
 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) & 
-Exists y1 (!ClassOfDefinitionTriple(y1, x1, x3) & !ClassificationTemplate (y1, x2)) .
-
 
 === Analysis diagram ===
@@ -27 +21 @@
 ||12/23/2010||mfedorov||created||
 ||01/16/2011||!OnnoPaap||changed !ClassOfClassOfDefinitionTriple to !ClassOfDefinitionTriple, analyzed, released.||
+||01/17/2011||!OnnoPaap||Repaired error in axiom.||