konferiertRecht (confersRight)

Expresses the relationship between a subclass of Process, an Entity, and a CognitiveAgent when the Entity authorizes the CognitiveAgent 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)

Kategorie

inheritable relation

dreistellige Prädikat

konferiertRecht

Coordinate term(s)

altitude zwischen fähigkeit Abhänigkeitswahrscheinlichkeit konferiertVerpflichtung schliesstAn depth abstand definitionsbereich definitionsbereichteilkategorie hatZweckFürAgent verbindet besetztPosition lagebestimmung bevorzugt verwandtesÄusserkonzept stelltDarFürAgent inSpracheDargestellt zeitlichZwischen zeitlichZwischenOderGleichzeitig

Type restrictions

confersRight(subclass Prozess, Wesen, kognitiver Agent)

Related WordNet synsets

assign: transfer one's right to

See more related synsets on a separate page.

Axioms (4)

Wenn agent1 erlaubt agent2, die Aufgabe der Art von process durchzuführen , dann agent2 hat das Recht, process durchzuführen .

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

konferiertVerpflichtung ist innerlich verwandt mit konferiertRecht .

(relatedInternalConcept confersObligation confersRight)

Wenn declare ist ein fall von Erklären und declare ist der agent von agent1 , dann es gibt ein proc,agent2 der declare erlaubt agent2, die Aufgabe der Art von proc durchzuführen oder declare zwingt agent2, die Aufgabe der Art von proc durchzuführen .

(=>
      (and
            (instance ?DECLARE Declaring)
            (agent ?DECLARE ?AGENT1))
      (exists
            (?PROC ?AGENT2)
            (or
                  (confersRight ?PROC ?DECLARE ?AGENT2)
                  (confersObligation ?PROC ?DECLARE ?AGENT2))))

Wenn doc ist ein fall von Bescheinigung und agent besitzt doc , dann es gibt ein proc der doc erlaubt agent, die Aufgabe der Art von proc durchzuführen oder doc zwingt agent, die Aufgabe der Art von proc durchzuführen .

(=>
      (and
            (instance ?DOC Certificate)
            (possesses ?AGENT ?DOC))
      (exists
            (?PROC)
            (or
                  (confersRight ?PROC ?DOC ?AGENT)
                  (confersObligation ?PROC ?DOC ?AGENT))))