SocialInteraction Comparison Table

Entity > Physical > Process > IntentionalProcess > SocialInteraction

Next IntentionalProcess: Striking Up: IntentionalProcess Previous IntentionalProcess: Searching

SocialInteraction comparison table

Subject have relatedInternalConcept documentation have axiom

ChangeOfPossession possesses The Class of Processes where ownership of something is transferred from one Agent to another
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(patient ?CHANGE ?OBJ)
(holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))
(not
(equal ?AGENT1 ?AGENT2)))

Communication A SocialInteraction that involves the transfer of information between two Agents via a ContentBearingObject
(=>
(instance ?ACTION Communication)
(exists (?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(patient ?ACTION ?OBJ))))

Contest A Competition in which the Agents are CognitiveAgents. More specifically, the Agents are aware at some level that there is a prize at stake in the Competition
(=>
(instance ?MOVE Maneuver)
(exists (?CONTEST)
(and
(instance ?CONTEST Contest)
(subProcess ?MOVE ?CONTEST))))

Cooperation The subclass of SocialInteraction where the participants involved work together for the achievement of a common goal
(=>
(instance ?COOPERATE Cooperation)
(exists (?PURP)
(forall (?AGENT)
(=>
(agent ?COOPERATE ?AGENT)
(hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))

Meeting The coming together of two or more CognitiveAgents for the purpose of Communication. This covers informal meetings, e.g. visits with family members, and formal meetings, e.g. a board of directors meeting
(=>
(instance ?INTERACTION SocialInteraction)
(exists (?AGENT1 ?AGENT2)
(and
(agent ?INTERACTION ?AGENT1)
(agent ?INTERACTION ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2)))))

Pretending 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
(=>
(instance ?INTERACTION SocialInteraction)
(exists (?AGENT1 ?AGENT2)
(and
(agent ?INTERACTION ?AGENT1)
(agent ?INTERACTION ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2)))))

Subject	have relatedInternalConcept	documentation	have axiom
ChangeOfPossession	possesses	The Class of Processes where ownership of something is transferred from one Agent to another	(=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2)))
Communication		A SocialInteraction that involves the transfer of information between two Agents via a ContentBearingObject	(=> (instance ?ACTION Communication) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (patient ?ACTION ?OBJ))))
Contest		A Competition in which the Agents are CognitiveAgents. More specifically, the Agents are aware at some level that there is a prize at stake in the Competition	(=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST))))
Cooperation		The subclass of SocialInteraction where the participants involved work together for the achievement of a common goal	(=> (instance ?COOPERATE Cooperation) (exists (?PURP) (forall (?AGENT) (=> (agent ?COOPERATE ?AGENT) (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
Meeting		The coming together of two or more CognitiveAgents for the purpose of Communication. This covers informal meetings, e.g. visits with family members, and formal meetings, e.g. a board of directors meeting	(=> (instance ?INTERACTION SocialInteraction) (exists (?AGENT1 ?AGENT2) (and (agent ?INTERACTION ?AGENT1) (agent ?INTERACTION ?AGENT2) (not (equal ?AGENT1 ?AGENT2)))))
Pretending		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	(=> (instance ?INTERACTION SocialInteraction) (exists (?AGENT1 ?AGENT2) (and (agent ?INTERACTION ?AGENT1) (agent ?INTERACTION ?AGENT2) (not (equal ?AGENT1 ?AGENT2)))))

Next IntentionalProcess: Striking Up: IntentionalProcess Previous IntentionalProcess: Searching