Stating
|
|
appearance as argument number 1 |
(documentation Stating ChineseLanguage "这个 Class 的实例,它要求 agent 相信自己讲的话。 例如:约翰声称月亮是由奶酪制成的。") | chinese_format.kif 3258-3259 | |
(documentation Stating EnglishLanguage "Instances of this Class commit the agent to some truth.For example, John claimed that the moon is made of green cheese.") | Merge.kif 13185-13186 | |
(subclass Stating LinguisticCommunication) | Merge.kif 13184-13184 | Stating is a subclass of linguistic communication |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA))) |
Merge.kif 13188-13194 |
|
(=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement)) |
Mid-level-ontology.kif 14263-14268 |
|
consequent |