承諾 (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 / PROCESSESSuperclass(es)
Coordinate term(s)
宣告
指示
表達
敘述
Related WordNet synsets
See more related synsets on a separate page.
Axioms (2)
語言溝通 完全 分割成 敘述,指示,承諾,表達,宣告.
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
If commit 是 承諾 的 實例 and formula 是 commit 的 受事者 and formula 是 SUO-KIF表述式 的 實例, then 陳述 formula 有 承諾 的 型態意義.
(=>
(and
(instance ?COMMIT Committing)
(patient ?COMMIT ?FORMULA)
(instance ?FORMULA Formula))
(modalAttribute ?FORMULA Promise))