| Cooperation(cooperation) | | abnegate, accord, agreed, agreement, aid, ally, alternate, assist, assistance, associate, band_together, buddy_system, capitulate, casework, championship, clannish, coact, coaction, collaborate, collaboration, collaborationism, collaborative, collective, collectively, combine, commensal, community, community_of_interests, community_service, compromise, concert, concerted, conclude, concurrence, concurrency, confederate, conjoined, conjoint, conjointly, conjunct, conjunctive, consensus, consociate, convoy, cooperate, cooperation, cooperative, cooperatively, coordinate, coordinately... |
| appearance as argument number 1 |
|
|
| (subclass Cooperation SocialInteraction) | Merge.kif 13440-13440 | Cooperation is a subclass of social interaction |
| (documentation Cooperation EnglishLanguage "The subclass of SocialInteraction where the participants involved work together for the achievement of a common goal.") | Merge.kif 13441-13442 | Cooperation is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?COOPERATE Cooperation) (exists (?PURP) (forall (?AGENT) (=> (agent ?COOPERATE ?AGENT) (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT))))) |
Merge.kif 13444-13450 | If X is an instance of cooperation, then there exists Y such that Z Z is an agent of XX has the purpose Y for Z |
| consequent |
|
|
| (=> (holdsDuring ?T (allied ?AGENT1 ?AGENT2)) (exists (?C) (and (during ?T (WhenFn ?C)) (instance ?C Cooperation) (holdsDuring (WhenFn ?C) (and (agent ?C ?AGENT1) (agent ?C ?AGENT2)))))) |
MilitaryProcesses.kif 2504-2516 | If X and Y are allies of each other holds during Z, then there exists W such that Z takes place during the time of existence of W, W is an instance of cooperation, X is an agent of W, and Y is an agent of W holds during the time of existence of W |
|
|
|