![]() |
![]() ![]() ![]()
|
![]() |
|
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 13195-13196 | |
(subclass Stating LinguisticCommunication) | Merge.kif 13194-13194 | 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 13198-13204 |
|
(=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement)) |
Mid-level-ontology.kif 14486-14491 |
|
consequent |
![]() |
![]() |
![]() |