obligation (Obligation)

Attribute that applies to Propositions that an Agent is required, by some authority, to make true.

Ontologie

SUMO / QUALITIES

Class(es)

modální atribut

obligation

Subattribute(s)

law promise

Související termín(y)

permission

Related WordNet synsets

obligatory: morally or legally constraining or binding; "attendance is obligatory"; "an obligatory contribution"
obligational: relating or constituting or qualified to create a legal or financial obligation; "obligational authority"
obligatorily: in an obligatory manner; "this rule applies obligatorily"

See more related synsets on a separate page.

Axiomy (4)

Jestliže order je instancí třídy příkaz a formula je účastníkem order, potom modal attribute(formula,obligation) platí.

(=>
      (and
            (instance ?ORDER Ordering)
            (patient ?ORDER ?FORMULA))
      (modalAttribute ?FORMULA Obligation))

Jestliže holds obligation(process,agent) platí, potom modal attribute(existuje process instance tak, že agent je původcem instance,obligation) platí.

(=>
      (holdsObligation ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Obligation))

modal attribute(formula,obligation) platí tehdy a jen tehdy pokud modal attribute(formula,permission) doesn't hold.

(<=>
      (modalAttribute ?FORMULA Obligation)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Permission)))

Jestliže modal attribute(formula,obligation) platí, potom modal attribute(formula,permission) platí.

(=>
      (modalAttribute ?FORMULA Obligation)
      (modalAttribute ?FORMULA Permission))