|
|
   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 29686-29688 | |
| (subclass Confirming Stating) | Mid-level-ontology.kif 29685-29685 | Confirming e' uma sub-classe de Declarar |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Confirming "confirming") | domainEnglishFormat.kif 64690-64690 |
| 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 29690-29704 |
|
|
|
|