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

Formal Language: 



KB Term:  Term intersection
English Word: 

  punishes

Sigma KEE - punishes
punishes

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


(documentation punishes EnglishLanguage "A relation between two Agents where the first represents some Organization, and is authorized by it to take some action against the second Agent. Note that this does not include cases where one individual simply takes action against another individual, such as a parent punishing a child for misbehavior. It also must be a response to some real or perceived action, rather than spontaneous negative action. The Organization must in some sense want the punishment to be given, either collectively or simply because the punisher is an authorized representative who decides on the punishment. Note that one agent could both punish and reward another agent.") Law.kif 142-150
(domain punishes 1 Agent) Law.kif 137-137 The number 1 argument of punishes is an instance of agent
(domain punishes 2 Agent) Law.kif 138-138 The number 2 argument of punishes is an instance of agent
(instance punishes BinaryRelation) Law.kif 136-136 punishes is an instance of binary relation
(relatedInternalConcept punishes rewards) Law.kif 95-95 punishes is internally related to rewards

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


(format EnglishLanguage punishes "%1 punishes %2") Law.kif 140-140
(termFormat EnglishLanguage punishes "punishes") Law.kif 139-139 "punishes" is the printable form of punishes in english language

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


(=>
    (punishes ?A ?H)
    (exists (?O ?P)
        (occupiesPosition ?A ?P ?O)))
Law.kif 167-170
(=>
    (punishes ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))
Law.kif 172-178
(=>
    (punishes ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (suffers ?P ?H))))
Law.kif 152-157
(=>
    (punishes ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?H)
            (not
                (wants ?A ?P)))))
Law.kif 159-165

consequent
-------------------------


(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S)
        (and
            (instance ?S Stating)
            (agent ?S ?A)
            (containsFormula ?S
                (=>
                    (causes
                        (agent ?P ?B)
                        (truth ?F true))
                    (punishes ?A ?B))))))
Law.kif 78-90


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

Show without tree


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