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)

Classe
is instance of
  inheritable relation  
is instance of
  PredicatoTernario  
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 Processo, Entitá, AgenteCognitivo)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (4)

confers obligation é interamente correlato a confers right. 
(relatedInternalConcept confersObligation confersRight)
Se agent1 obbliga agent2 a compiere il compito di tipo process, allora agent2 é obbligato a compiere il compito di tipo process. 
(=>
      (confersObligation ?PROCESS ?AGENT1 ?AGENT2)
      (holdsObligation ?PROCESS ?AGENT2))
Se declare é un' istanza di Dichiarare e declare é un agente di agent1, allora esiste proc,agent2 tale che declare permette a agent2 di compiere il compito di tipo proc o declare obbliga agent2 a compiere il compito di tipo proc. 
(=>
      (and
            (instance ?DECLARE Declaring)
            (agent ?DECLARE ?AGENT1))
      (exists
            (?PROC ?AGENT2)
            (or
                  (confersRight ?PROC ?DECLARE ?AGENT2)
                  (confersObligation ?PROC ?DECLARE ?AGENT2))))
Se doc é un' istanza di Certificato e agent possiedees doc, allora esiste proc tale che doc permette a agent di compiere il compito di tipo proc o doc obbliga agent a compiere il compito di tipo proc. 
(=>
      (and
            (instance ?DOC Certificate)
            (possesses ?AGENT ?DOC))
      (exists
            (?PROC)
            (or
                  (confersRight ?PROC ?DOC ?AGENT)
                  (confersObligation ?PROC ?DOC ?AGENT))))