Correcting - Sigma Knowledge base Browser

appearance as argument number 1

(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 29971-29973
(subclass Correcting Stating)	Mid-level-ontology.kif 29970-29970

appearance as argument number 2

(termFormat EnglishLanguage Correcting "correcting")

domainEnglishFormat.kif 64728-64728

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)))))

Mid-level-ontology.kif 29975-29987