Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

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.

Ontology

SUMO / QUALITIES

Class(es)

class
is instance of
  inheritable relation  
is instance of
  binary predicate  
is instance of
asymmetric relation
is instance of
irreflexive relation
is instance of
is instance of
  modal attribute  

Superrelation(s)

property
is subrelation of
  modal attribute  

Coordinate term(s)

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 

Type restrictions

modalAttribute(formula, normative attribute)

Axioms (9)

If order is an instance of ordering and formula is a patient of order, then the statement formula has the model force of obligation. 
(=>
      (and
            (instance ?ORDER Ordering)
            (patient ?ORDER ?FORMULA))
      (modalAttribute ?FORMULA Obligation))
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. 
(=>
      (and
            (instance ?COMMIT Committing)
            (patient ?COMMIT ?FORMULA)
            (instance ?FORMULA Formula))
      (modalAttribute ?FORMULA Promise))
If the statement formula1 has the model force of prop and formula1 entails formula2, then the statement formula2 has the model force of prop. 
(=>
      (and
            (modalAttribute ?FORMULA1 ?PROP)
            (entails ?FORMULA1 ?FORMULA2))
      (modalAttribute ?FORMULA2 ?PROP))
If agent is obliged to perform tasks of type process, then the statement "there exists process instance so that instance is an agent of agent" has the model force of obligation. 
(=>
      (holdsObligation ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Obligation))
If agent has the right to perform process, then the statement "there exists process instance so that instance is an agent of agent" has the model force of permission. 
(=>
      (holdsRight ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Permission))
The statement formula has the model force of necessity if and only if the statement "formula" has the model force of possibility. 
(<=>
      (modalAttribute ?FORMULA Necessity)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Possibility)))
If the statement formula has the model force of necessity, then the statement formula has the model force of possibility. 
(=>
      (modalAttribute ?FORMULA Necessity)
      (modalAttribute ?FORMULA Possibility))
The statement formula has the model force of obligation if and only if the statement "formula" has the model force of permission. 
(<=>
      (modalAttribute ?FORMULA Obligation)
      (not
            (modalAttribute
                  (not ?FORMULA)
                  Permission)))
If the statement formula has the model force of obligation, then the statement formula has the model force of permission. 
(=>
      (modalAttribute ?FORMULA Obligation)
      (modalAttribute ?FORMULA Permission))