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 29675-29677 | |
(subclass Correcting Stating) | Mid-level-ontology.kif 29674-29674 | Correcting est une sous-classe de d�clarer |
appearance as argument number 2 |
(termFormat EnglishLanguage Correcting "correcting") | domainEnglishFormat.kif 64703-64703 |
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 29679-29691 |
|