SocialInteraction(interaction social) | ![]() |
appearance as argument number 1 |
![]() |
(documentation SocialInteraction ChineseLanguage "这是由 CognitiveAgent 之间互动交流的 IntentionalProcess的 subclass。") | chinese_format.kif 3234-3235 | |
(documentation SocialInteraction EnglishLanguage "The subclass of IntentionalProcess that involves interactions between CognitiveAgents.") | Merge.kif 13139-13141 | |
(subclass SocialInteraction IntentionalProcess) | Merge.kif 13138-13138 | Interaction social est une sous-classe de processus intentionnel |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?INTERACTION SocialInteraction) (exists (?AGENT1 ?AGENT2) (and (involvedInEvent ?INTERACTION ?AGENT1) (involvedInEvent ?INTERACTION ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (not (equal ?AGENT1 ?AGENT2))))) |
Merge.kif 13143-13152 |
|
consequent |
![]() |
![]() |
![]() |