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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Pretending
Pretending(pr�tendre)

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 13174-13179
(subclass Pretending SocialInteraction) Merge.kif 13173-13173 Pr�tendre est une sous-classe de interaction social

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


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

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


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

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