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 13020-13025
(subclass Pretending SocialInteraction) Merge.kif 13019-13019

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


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

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


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

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