| Pretending(pretending) | | Janus-faced, act, act_as, act_out, affect, affectation, affected, affectedly, affectedness, agonistic, ambidextrous, amphibious_demonstration, amplify, apelike, apery, apish, appear, appearance, artificial, assume, assumed, attitude, bad, bait, bamboozle, barratry, befool, beguile, betray, bit_part, black, blind, bluff, buffoonery, bull, bullshit, bunco, bunco_game, bunko, bunko_game, burlesque, bushel, business, buy-and-bust_operation, byplay, camouflage, card_trick, characterization, cheat, cheating... |
| appearance as argument number 1 |
|
|
| (subclass Pretending SocialInteraction) | Merge.kif 13195-13195 | Pretending is a subclass of social interaction |
| (documentation Pretending EnglishLanguage "Any SocialInteraction where a CognitiveAgent or Group of CognitiveAgents attempts to make another CognitiveAgent or Group of CognitiveAgents believe something that is false. This covers deceit, affectation, impersonation, and entertainment productions, to give just a few examples.") | Merge.kif 13196-13201 | Pretending is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 13203-13208 | If X is an instance of pretending, then there exist Y, Z such that X has the purpose Y believes Z, and Z is false |
| consequent |
|
|
| (=> (and (instance ?EF Exfiltration) (agent ?EF ?AGENT)) (exists (?PRET ?ENEMY) (and (instance ?PRET Pretending) (agent ?PRET ?AGENT) (patient ?PRET ?ENEMY) (hasPurpose ?PRET (believes ?ENEMY (not (exists (?EF0) (equal ?EF0 ?EF)))))))) |
MilitaryProcesses.kif 257-270 | If X is an instance of exfiltration and Y is an agent of X, then there exist Z, W such that Z is an instance of pretending, Y is an agent of Z, W is a patient of Z, Z has the purpose W believes there doesn't exist V such that equal V, and X |
|
|
|