| SocialInteraction(social interaction) | | Allied, Americanisation, Americanise, Americanism, Americanization, Americanize, Anglicisation, Anglicism, Anglicization, Bolshevism, Britishism, Castroism, Europeanisation, Europeanise, Europeanization, Europeanize, Falange, Germanism, Maoism, Naziism, Nazism, Weimar_Republic, Westernisation, Westernization, abandon, abide_by, abreact, absorption, academic_relation, accept, accommodate, accompanied, accompany, acculturate, acculturation, acculturational, acculturative, acquaintance, acquaintanceship, acquit, adhere, adopt, adulterous, affair, affaire, affiliation, affinity, aggroup, agrypnotic, alchemy... |
| appearance as argument number 1 |
|
|
| (subclass SocialInteraction IntentionalProcess) | Merge.kif 13297-13297 | Social interaction is a subclass of intentional process |
| (documentation SocialInteraction EnglishLanguage "The subclass of IntentionalProcess that involves interactions between CognitiveAgents.") | Merge.kif 13298-13300 | 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 13302-13311 | If X is an instance of social interaction, then All of the following hold: (1) there exist Y (2) Z such that Y is an involved in event of X (3) Z is an involved in event of X (4) Y is an instance of agent (5) Z is an instance of agent (6) equal Y (7) Z |
| consequent |
|
|
|
|
|