Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| punishes |
| appearance as argument number 1 |
|
| (relatedInternalConcept punishes rewards) | Law.kif 83-83 | punishes is internally related to rewards |
| (instance punishes BinaryPredicate) | Law.kif 124-124 | punishes is an instance of binary predicate |
| (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 |
| (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 | The number 2 argument of punishes is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage punishes "punishes") | Law.kif 127-127 | |
| (format EnglishLanguage punishes "%1 punishes %2") | Law.kif 128-128 |
| antecedent |
|
|
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H)))) |
Law.kif 140-145 | If X punishes Y, then there exists Z such that X is an agent of Z and Y suffers from Z |
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?H) (not (wants ?A ?P))))) |
Law.kif 147-153 | If X punishes Y, then there exists Z such that Y is an agent of Z and X doesn't want Z |
| (=> (punishes ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O))) |
Law.kif 155-158 | If X punishes Y, then there exist Z and W such that X holds the position of W in Z |
| (=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 160-166 | If X punishes Y, then there exist Z, W, V such that X holds the position of W in Z, X is an agent of V, and Z wants V |
| 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 X prohibits Y holds during Z, then there exist W, V, U such that W is an instance of stating, the time of existence of W takes place during Z, X is an agent of W, and W contains the formula V is an agent of U causes Y is trueX punishes V |
|