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 32351-32351	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 32352-32354	Correcting is a subclass of stating