敘述 (Stating)
Instances of this Class commit a sender to some truth.
Example: John concluded that Peter was not present, and predicted that he would
arrive soon.
Ontology
SUMO / PROCESSESSuperclass(es)
Coordinate term(s)
承諾
宣告
指示
表達
Related WordNet synsets
- statement
- a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc; "according to his statement he was in London on that day"
- affirmation, assertion, statement
- the act of affirming or asserting or stating something
- informing, making known
- a speech act that conveys information
See more related synsets on a separate page.
Axioms (2)
語言溝通 完全 分割成 敘述,指示,承諾,表達,宣告.
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
If state 是 敘述 的 實例 and state 是 agent 的 施事者 and formula 是 state 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then agent (不)相信 formula "state 存在 的 時間"a(之中) state 存在 的 時間.
(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA)))