Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Pretending

 Sigma KEE - Pretending
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 13317-13317 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 13318-13323 Pretending is a subclass of social interaction

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


(subclass DramaticActing Pretending) Mid-level-ontology.kif 17560-17560 Dramatic acting is a subclass of pretending
(termFormat EnglishLanguage Pretending "pretending") english_format.kif 1609-1609 Dramatic acting is a subclass of pretending

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


(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))		 Merge.kif 13325-13330 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


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners