Instances of this Class commit a sender to some truth.
Example: John concluded that Peter was not present, and predicted that he would
SUMO / PROCESSES
Related WordNet synsets
See more related synsets on a separate page.
- 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
linguistic communication is exhaustively partitioned into stating,directing,committing,expressing,declaring.
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
If state is an instance of stating and state is an agent of agent and formula is a patient of state and formula is an instance of formula, then agent believes formula the time of existence of state.
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(patient ?STATE ?FORMULA)
(instance ?FORMULA Formula))
(believes ?AGENT ?FORMULA)))