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 29738-29740 | |
(subclass Correcting Stating) | Mid-level-ontology.kif 29737-29737 | Correcting e' uma sub-classe de Declarar |
appearance as argument number 2 |
(termFormat EnglishLanguage Correcting "correcting") | domainEnglishFormat.kif 64705-64705 |
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 29742-29754 |
|