Instances of this Class commit the sender to some
future course. Example: Bob promised Susan that he would be home by 11pm.
SUMO / PROCESSES
Related WordNet synsets
See more related synsets on a separate page.
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.
(instance ?COMMIT Committing)
(patient ?COMMIT ?FORMULA)
(instance ?FORMULA Formula))
(modalAttribute ?FORMULA Promise))