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

Affermare (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]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  ProcessoIntenzionale  
is subclass of
  InterazioneSociale  
is subclass of
  Comunicazione  
is subclass of
  linguistic communication  
is subclass of
  Affermare  

Coordinate term(s)

Impegnarsi  Dichiarare  Sollecitare  Esprimere 

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 é esaustivamente partizionato in Affermare,Sollecitare,Impegnarsi,Esprimere,Dichiarare. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
Se state é un' istanza di Affermare e state é un agente di agent e formula é un paziente di state e formula é un' istanza di Formula, allora "agent believes formula" vales durante "il tempo di esistenza di state". 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))