Correcting - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage Correcting "correcting")

antecedent

(=>
    (instance ?C Correcting)
    (exists (?D ?S ?SP ?CP)
        (and
            (instance ?D Disagreeing)
            (subProcess ?C ?D)
            (instance ?S Stating)
            (subProcess ?S ?D)
            (containsInformation ?S ?SP)
            (containsInformation ?C ?CP)
            (refers ?CP ?SP)
            (not
                (consistent ?CP ?SP)))))

If X is an instance of correcting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of disagreeing (3) X is a subprocess of Y (4) Z is an instance of stating (5) Z is a subprocess of Y (6) Z contains information W (7) X contains information V (8) V includes a reference to W (9) W is not a consistent of V

(subclass Correcting Stating)	Mid-level-ontology.kif 32374-32374	Correcting is a subclass of stating
(documentation Correcting EnglishLanguage "A Correcting is a part of a Disagreeing in which the speaker explicitly refers to a prior statement.")	Mid-level-ontology.kif 32375-32377	Correcting is a subclass of stating