modal attribute (modalAttribute)

A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute formula prop) means that the Proposition expressed by formula has the NormativeAttribute prop. For example, (modalAttribute (exists (act obj) (and (instance act Giving) (agent act John) (patient act obj) (destination act Tom))) Obligation) means that John is obligated to give Tom something.

Ontologie

SUMO / QUALITIES

Class(es)

třída

inheritable relation

binární predikát
is instance of

nesymetrická relace
is instance of

ireflexivní relace
is instance of

modal attribute

Superrelation(s)

property

modal attribute

Související termín(y)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before before or equal causes causes subclass citizen closed on completely fills connected connected engineering components contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance interior part inverse irreflexive on larger less than less than or equal to manner material measure meets spatially meets temporally member overlaps partially overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub organizations sub plan sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part surface temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

modalAttribute(formule, objektivní atribut)

Axiomy (9)

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 commit je instancí třídy závazek a formula je účastníkem commit a formula je instancí třídy formule, potom modal attribute(formula,promise) platí.

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

Jestliže modal attribute(formula1,prop) platí a formula1 entails formula2, potom modal attribute(formula2,prop) platí.

(=>
      (and
            (modalAttribute ?FORMULA1 ?PROP)
            (entails ?FORMULA1 ?FORMULA2))
      (modalAttribute ?FORMULA2 ?PROP))

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))

Jestliže agent has the right to perform process, potom modal attribute(existuje process instance tak, že agent je původcem instance,permission) platí.

(=>
      (holdsRight ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Permission))

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

(<=>
      (modalAttribute ?FORMULA Necessity)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Possibility)))

Jestliže modal attribute(formula,necessity) platí, potom modal attribute(formula,possibility) platí.

(=>
      (modalAttribute ?FORMULA Necessity)
      (modalAttribute ?FORMULA Possibility))

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))