Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

stating (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 / PROCESSES

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  intentional process  
is subclass of
  social interaction  
is subclass of
  communication  
is subclass of
  linguistic communication  
is subclass of
  stating  

Coordinate term(s)

committing  declaring  directing  expressing 

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"
statement is kind of (all)...   statement is kind of...   kinds of statement...   kinds of statement (all)...  
affirmation, assertion, statement
the act of affirming or asserting or stating something
affirmation is kind of (all)...   affirmation is kind of...   kinds of affirmation...   kinds of affirmation (all)...  
informing, making known
a speech act that conveys information
informing is kind of (all)...   informing is kind of...   kinds of informing...   kinds of informing (all)...  
See more related synsets on a separate page.

Axioms (2)

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. 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))