Confirming
|
|
appearance as argument number 1 |
(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 29623-29625 | |
(subclass Confirming Stating) | Mid-level-ontology.kif 29622-29622 |
appearance as argument number 2 |
(termFormat EnglishLanguage Confirming "confirming") | domainEnglishFormat.kif 64688-64688 |
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)))) |
Mid-level-ontology.kif 29627-29641 |