Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pretending

Sigma KEE - Pretending
Pretending

appearance as argument number 1
-------------------------


(documentation Pretending ChineseLanguage "这是一种 SocialInteraction,它属于当一个 CognitiveAgent 或 一 Group CognitiveAgent 企图令到另外一个 CognitiveAgent 或一 Group CognitiveAgent 将某样虚假的东西当成是真的。一些例子包括欺骗、矫情、模仿和娱乐作品。") Merge.kif 12959-12961
(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 12953-12958
(subclass Pretending SocialInteraction) Merge.kif 12952-12952

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


(subclass DramaticActing Pretending) Mid-level-ontology.kif 13605-13605
(termFormat ChineseLanguage Pretending "假装") chinese_format.kif 1194-1194
(termFormat EnglishLanguage Pretending "pretending") english_format.kif 1659-1659
(termFormat JapaneseLanguage Pretending "ふり") english_format.kif 1660-1660

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


(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))
Merge.kif 12963-12968

consequent
-------------------------


(=>
    (and
        (instance ?EF Exfiltration)
        (agent ?EF ?AGENT))
    (exists (?PRET)
        (and
            (instance ?PRET Pretending)
            (agent ?PRET ?AGENT)
            (patient ?PRET ?ENEMY)
            (hasPurpose ?PRET
                (believes ?ENEMY
                    (not
                        (exists (?EF0)
                            (equal ?EF0 ?EF))))))))
MilitaryProcesses.kif 248-261


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners