Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

tvrzení (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.

Ontologie

SUMO / PROCESSES

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  proces  
is subclass of
  záměrný proces  
is subclass of
  sociální interakce  
is subclass of
  komunikace  
is subclass of
  linguistic communication  
is subclass of
  tvrzení  

Související termín(y)

závazek  deklarace  žádost  vyjádření 

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.

Axiomy (2)

linguistic communication je exhaustively partitioned into tvrzení,žádost,závazek,vyjádření,deklarace. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
Jestliže state je instancí třídy tvrzení a agent je původcem state a formula je účastníkem state a formula je instancí třídy formule, potom agent believes formula doba existence state. 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))