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 31365-31367
(subclass Correcting Stating)	Mid-level-ontology.kif 31364-31364	Correcting is a subclass of stating

appearance as argument number 2

(termFormat EnglishLanguage Correcting "correcting")

domainEnglishFormat.kif 64726-64726

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 31369-31381