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 29635-29637 | |
(subclass Confirming Stating) | Mid-level-ontology.kif 29634-29634 | Confirming 是 陈述 的 subclass |
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 29639-29653 |
|