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

confers obligation (confersObligation)

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

class
is instance of
  inheritable relation  
is instance of
  ternary predicate  
is instance of
  confers obligation  

Coordinate term(s)

altitude  between  capability  conditional probability  confers right  connects  depth  distance  domain  domain subclass  has purpose for agent  links  occupies position  orientation  prefers  related external concept  represents for agent  represents in language  temporally between  temporally between or equal 

Type restrictions

confersObligation(subclass process, entity, cognitive agent)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (4)

confers obligation is internally related to confers right. 
(relatedInternalConcept confersObligation confersRight)
If agent1 obligates agent2 to perform task of the type process, then agent2 is obliged to perform tasks of type process. 
(=>
      (confersObligation ?PROCESS ?AGENT1 ?AGENT2)
      (holdsObligation ?PROCESS ?AGENT2))
If declare is an instance of declaring and declare is an agent of agent1, then there exist proc,agent2 so that declare allows agent2 to perform task of the type proc or declare obligates agent2 to perform task of the type proc. 
(=>
      (and
            (instance ?DECLARE Declaring)
            (agent ?DECLARE ?AGENT1))
      (exists
            (?PROC ?AGENT2)
            (or
                  (confersRight ?PROC ?DECLARE ?AGENT2)
                  (confersObligation ?PROC ?DECLARE ?AGENT2))))
If doc is an instance of certificate and agent posesses doc, then there exists proc so that doc allows agent to perform task of the type proc or doc obligates agent to perform task of the type proc. 
(=>
      (and
            (instance ?DOC Certificate)
            (possesses ?AGENT ?DOC))
      (exists
            (?PROC)
            (or
                  (confersRight ?PROC ?DOC ?AGENT)
                  (confersObligation ?PROC ?DOC ?AGENT))))