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 13066-13071 | |
(subclass Pretending SocialInteraction) | Merge.kif 13065-13065 |
appearance as argument number 2 |
(subclass DramaticActing Pretending) | Mid-level-ontology.kif 15976-15976 | |
(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 13073-13078 |
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 |