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

závazek (Committing)

Instances of this Class commit the sender to some future course. Example: Bob promised Susan that he would be home by 11pm.

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
  závazek  

Související termín(y)

deklarace  žádost  vyjádření  tvrzení 

Related WordNet synsets

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 commit je instancí třídy závazek a formula je účastníkem commit a formula je instancí třídy formule, potom modal attribute(formula,promise) platí. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))