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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


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


        (instance ?EF Exfiltration)
        (agent ?EF ?AGENT))
    (exists (?PRET)
            (instance ?PRET Pretending)
            (agent ?PRET ?AGENT)
            (patient ?PRET ?ENEMY)
            (hasPurpose ?PRET
                (believes ?ENEMY
                        (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