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 将某样虚假的东西当成是真的。一些例子包括欺骗、矫情、模仿和娱乐作品。") chinese_format.kif 3236-3238
(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 12793-12798
(subclass Pretending SocialInteraction) Merge.kif 12792-12792 假装社交subclass

appearance as argument number 2

(subclass DramaticActing Pretending) Mid-level-ontology.kif 15449-15449 戏剧表演假装subclass
(termFormat ChineseLanguage Pretending "假装") chinese_format.kif 1194-1194
(termFormat EnglishLanguage Pretending "pretending") english_format.kif 1605-1605


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


        (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 257-270

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners