punishes - Sigma Knowledge base Browser

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 AutonomousAgent. 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 130-138
(domain punishes 1 AutonomousAgent)	Law.kif 125-125	The number 1 argument of punishes is an instance of agent
(domain punishes 2 AutonomousAgent)	Law.kif 126-126	The number 2 argument of punishes is an instance of agent
(instance punishes BinaryPredicate)	Law.kif 124-124	punishes is an instance of binary predicate
(relatedInternalConcept punishes rewards)	Law.kif 83-83	punishes is internally related to rewards

appearance as argument number 2

(format EnglishLanguage punishes "%1 punishes %2")	Law.kif 128-128
(termFormat EnglishLanguage punishes "punishes")	Law.kif 127-127

antecedent

(=> (punishes ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O)))	Law.kif 155-158	If a human punishes an agent, then there exist an organization and a position such that the human holds the position of the position in the organization
(=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 160-166	If a human punishes an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H))))	Law.kif 140-145	If an agent punishes another agent, then there exists a process such that the agent is an agent of the process and the other agent suffers from the process
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?H) (not (wants ?A ?P)))))	Law.kif 147-153	If a cognitive agent punishes an agent, then there exists a process such that the agent is an agent of the process and the cognitive agent doesn't want the process

consequent

(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S ?B ?P)
        (and
            (instance ?S Stating)
            (during
                (WhenFn ?S) ?T1)
            (agent ?S ?A)
            (containsFormula ?S
                (=>
                    (causes
                        (agent ?P ?B)
                        (truth ?F True))
                    (punishes ?A ?B))))))

Law.kif 65-78

If an agent prohibits an entity holds during a time interval,
then there exist a process, another entity and a third entity such that the process is an instance of stating and the time of existence of the process takes place during the time interval and the agent is an agent of the process and the process contains the formula
- if the other entity is an agent of the third entity causes the entity is true,
- then the agent punishes the other entity

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: