| 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 29919-29921 | |
| (subclass Confirming Stating) | Mid-level-ontology.kif 29918-29918 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Confirming "confirming") | domainEnglishFormat.kif 64713-64713 |
| 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 29923-29937 |
|
|
|