TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Confirming Stating)	Mid-level-ontology.kif 32241-32241	Confirming is a subclass of stating
(documentation Confirming EnglishLanguage "An utterance in which the speaker is part of a ReachingAgreement and in which the Proposition under consideration has already been Stated.")	Mid-level-ontology.kif 32242-32244	Confirming is a subclass of stating

appearance as argument number 2

(termFormat EnglishLanguage Confirming "confirming")

antecedent

(=>
    (and
        (instance ?C Confirming)
        (agent ?C ?A)
        (containsInformation ?C ?P))
    (exists (?S ?RA ?A2)
        (and
            (instance ?S Stating)
            (earlier ?S ?C)
            (instance ?RA ReachingAgreement)
            (agent ?S ?A2)
            (containsInformation ?RA ?P)
            (containsInformation ?S ?P)
            (partyToAgreement ?RA ?A)
            (partyToAgreement ?RA ?A2))))

If X is an instance of confirming, Y is an agent of X, and X contains information Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of stating (3) W happens earlier than X (4) V is an instance of reaching agreement (5) U is an agent of W (6) V contains information Z (7) W contains information Z (8) Y is a party to agreement of V (9) U is a party to agreement of V