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 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 | 域 punishes, 1 and AutonomousAgent |
(domain punishes 2 AutonomousAgent) | Law.kif 126-126 | 域 punishes, 2 and AutonomousAgent |
(instance punishes BinaryPredicate) | Law.kif 124-124 | 例 punishes and BinaryPredicate |
(relatedInternalConcept punishes rewards) | Law.kif 83-83 | 相關的內部概念 punishes and 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 | |
(=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 160-166 |
|
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H)))) |
Law.kif 140-145 | |
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?H) (not (wants ?A ?P))))) |
Law.kif 147-153 |
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 |
|