Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Darlegen (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]
Wesen
is subclass of
  körperlicher Gegenstand  
is subclass of
  Prozess  
is subclass of
  absichlicher Prozess  
is subclass of
  Sozialunterhaltung  
is subclass of
  Kommunikation  
is subclass of
  linguistic communication  
is subclass of
  Darlegen  

Coordinate term(s)

Festlegung  Erklären  Leiten  Ausdrücken 

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 wird vollständig in Darlegen,Leiten,Festlegung,Ausdrücken,Erklären verteilt. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
Wenn state ist ein fall von Darlegen und state ist der agent von agent und formula ist ein patient von state und formula ist ein fall von Formel , dann "agent glaubt , dass formula" hält während "die zeit des Bestehens von state" . 
(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))