holds right (holdsRight)

Expresses a relationship between a subclass of Process and a CognitiveAgent whereby the CognitiveAgent has the right to perform instances of the Process type specified, i.e. to be an agent of instances of the Process type.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class

inheritable relation

binary predicate
is instance of

asymmetric relation
is instance of

holds right

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before or equal causes causes subclass citizen closed on completely fills connected contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration 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 hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material measure meets temporally member modal attribute 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 process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

holdsRight(subclass process, cognitive agent)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (5)

If agent has the right to perform process, then agent is capable to do process in role agent.

(=>
      (holdsRight ?PROCESS ?AGENT)
      (capability ?PROCESS agent ?AGENT))

If agent1 allows agent2 to perform task of the type process, then agent2 has the right to perform process.

(=>
      (confersRight ?PROCESS ?AGENT1 ?AGENT2)
      (holdsRight ?PROCESS ?AGENT2))

holds obligation is internally related to holds right.

(relatedInternalConcept holdsObligation holdsRight)

if person posesses obj,
then there exists type so that type has the right to perform person and for all process holds: if process is an instance of type, then obj is a patient of process

(=>
      (possesses ?PERSON ?OBJ)
      (exists
            (?TYPE)
            (and
                  (holdsRight ?PERSON ?TYPE)
                  (forall
                        (?PROCESS)
                        (=>
                              (instance ?PROCESS ?TYPE)
                              (patient ?PROCESS ?OBJ))))))

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