> run ../doc/webkb2OntologicalExamples.html




> user u



> b012NoStorage:= 1



> noRedundancyWarning:= false



> [an #alteration,
   agent: spamOnly@phmartin.info,
   modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html,
   precondition: (a #permit, beneficiary: spamOnly@phmartin.info,
                   object: [any #alteration, modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html]),
   instrument: an Emacs_text_editor,
   sub_process of: (an #augmentation, agent: spamOnly@phmartin.info,
                      modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html,
                      material: several #example),
   purpose: (an #improvement, agent: spamOnly@phmartin.info,
               modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html),
   time: 21/01/2001,
   duration: 2 hrs]


In ../doc/webkb2OntologicalExamples.html, at (or a bit before) line 86.
This new statement is comparable to an already existing statement:
[u#graph1_on_alteration
     [an #alteration,
          pm#agent: spamOnly@phmartin.info,
          pm#modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html,
          pm#precondition: (a #permit,
               pm#beneficiary: spamOnly@phmartin.info,
               pm#object: [any #alteration,
                         pm#modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html]),
          pm#instrument: the pm#Emacs_text_editor,
          pm#sub_process of: (an #augmentation,
               pm#agent: spamOnly@phmartin.info,
               pm#modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html,
               pm#material: several #example),
          pm#purpose: (an #improvement,
               pm#agent: spamOnly@phmartin.info,
               pm#modified_object: http://www.webkb.org/doc/webkb2OntologicalExamples.html),
          pm#time: 21/1/2001 ,
          pm#duration: 2 #hour]
](24/10/2025)

If you think that statement is false or unprecise enough, please explicit this
by adding a relation of type 'corrective_specialization', 'corrective_generalization' or 'correction'
from your statement to the over-generalized/over-specialized/false statement.
Note: it is more likely that you'll have to restrict/precise an existing statement than generalize it.
Use the relation type 'correction' only if you cannot specialize or generalize the "faulty" statement.