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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pretending
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 13091-13096
(subclass Pretending SocialInteraction) Merge.kif 13090-13090 假装社交subclass

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


(subclass DramaticActing Pretending) Mid-level-ontology.kif 16805-16805 戏剧表演假装subclass
(termFormat ChineseLanguage Pretending "假装") chinese_format.kif 1194-1194 戏剧表演假装subclass
(termFormat EnglishLanguage Pretending "pretending") english_format.kif 1605-1605 戏剧表演假装subclass
(termFormat FrenchLanguage Pretending "pr�tendre") french_format.kif 872-872 戏剧表演假装subclass
(termFormat Hindi Pretending "pradarshana") terms-hindi.txt 405-405 戏剧表演假装subclass
(termFormat ItalianLanguage Pretending "Fingere") terms-it.txt 408-408 戏剧表演假装subclass
(termFormat JapaneseLanguage Pretending "ふり") japanese_format.kif 2556-2556 戏剧表演假装subclass
(termFormat PortugueseLanguage Pretending "Fingir") portuguese_format.kif 824-824 戏剧表演假装subclass
(termFormat cb Pretending "pagpaaron-ingnon") terms-cb.txt 410-410 戏剧表演假装subclass
(termFormat cz Pretending "pretending") terms-cz.txt 444-444 戏剧表演假装subclass
(termFormat de Pretending "Vortaeuschen") terms-de.txt 703-703 戏剧表演假装subclass
(termFormat ro Pretending "pretinde") relations-ro.kif 893-893 戏剧表演假装subclass
(termFormat tg Pretending "nagkukunwari") terms-tg.txt 409-409 戏剧表演假装subclass

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


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

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


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