SocialInteraction
|
|
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 13046-13048 | |
(subclass SocialInteraction IntentionalProcess) | Merge.kif 13045-13045 | Social interaction is a subclass of intentional process |
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 13050-13059 |
|
consequent |