cheng2 nuo4 (Promise)

Attribute that applies to Propositions that an Agent promises to make true. Promises may be implicit or explicit. They may be expressed in a written or verbal or gestural manner.

Ontology

SUMO / QUALITIES

Superattribute(s)

yi4 wu4

cheng2 nuo4

Subattribute(s)

qi4 yue1 dan1 fang1 cheng2 nuo4

Related WordNet synsets

committed: bound or obligated, as under a pledge to a particular cause, action, or attitude; "committed church members"; "a committed Marxist"
promissary: relating to or having the character of a promise; "promissary note"
promissory: containing or involving or having the nature of a promise; "promissory oath"

See more related synsets on a separate page.

Axioms (2)

If commit shi4 cheng2 nuo4 de5 shi2 li4 and formula shi4 commit de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then chen2 shu4 formula you3 cheng2 nuo4 de5 xing2 tai4 yi4 yi4.

(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))

If entity you3 shu3 xing4 cheng2 nuo4, then entity you3 shu3 xing4 qi4 yue1 or entity you3 shu3 xing4 dan1 fang1 cheng2 nuo4.

(=>
      (property ?ENTITY Promise)
      (or
            (property ?ENTITY Contract)
            (property ?ENTITY NakedPromise)))