|
|
   Correcting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Correcting EnglishLanguage "A Correcting is a part of a Disagreeing in which the speaker explicitly refers to a prior statement.") | Mid-level-ontology.kif 31608-31610 | |
| (subclass Correcting Stating) | Mid-level-ontology.kif 31607-31607 | Correcting is a subclass of stating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Correcting "correcting") | domainEnglishFormat.kif 64697-64697 |
| antecedent |
|
|
| (=> (instance ?C Correcting) (exists (?D ?S ?SP ?CP) (and (instance ?D Disagreeing) (subProcess ?C ?D) (instance ?S Stating) (subProcess ?S ?D) (containsInformation ?S ?SP) (containsInformation ?C ?CP) (refers ?CP ?SP) (not (consistent ?CP ?SP))))) |
Mid-level-ontology.kif 31612-31624 |
|
|
|
|