Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - rewards
rewards

appearance as argument number 1
-------------------------


(documentation rewards EnglishLanguage "A relation between two Agents where the first represents some Organization, and is authorized by it to take some action for the second Agent. Note that this does not include cases where one individual simply takes action for another individual, such as a parent rewarding a child for good behavior. It also must be a response to some real or perceived action, rather than spontaneous positive action. The Organization must in some sense want the reward to be given, either collectively or simply because the rewarder is an authorized representative who decides on the reward. Note that one agent could both punish and reward another agent.") Law.kif 100-108
(domain rewards 1 Agent) Law.kif 94-94 The number 1 argument of rewards is an instance of agent
(domain rewards 2 Agent) Law.kif 95-95 The number 2 argument of rewards is an instance of agent
(instance rewards BinaryRelation) Law.kif 93-93 rewards is an instance of binary relation

appearance as argument number 2
-------------------------


(format EnglishLanguage rewards "%1 rewards %2") Law.kif 98-98
(relatedInternalConcept punishes rewards) Law.kif 96-96 punishes is internally related to rewards
(termFormat EnglishLanguage rewards "rewards") Law.kif 97-97 "rewards" is the printable form of rewards in english language

antecedent
-------------------------


(=>
    (rewards ?A ?H)
    (exists (?O ?P)
        (occupiesPosition ?A ?P ?O)))
Law.kif 124-127
(=>
    (rewards ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))
Law.kif 129-135
(=>
    (rewards ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (benefits ?P ?H))))
Law.kif 110-115
(=>
    (rewards ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?H)
            (wants ?A ?P))))
Law.kif 117-122


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners