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

committing (Committing)

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

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
  committing  

Coordinate term(s)

declaring  directing  expressing  stating 

Related WordNet synsets

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 commit is an instance of committing and formula is a patient of commit and formula is an instance of formula, then the statement formula has the model force of promise. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))