| 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 |
|
|
| (documentation Cooperation ChineseLanguage "这是 SocialInteraction 的 subclass，它是当 参与者为了实现一个共同目标而一起努力。") | chinese_format.kif 3282-3283 | |
| (documentation Cooperation EnglishLanguage "The subclass of SocialInteraction where the participants involved work together for the achievement of a common goal.") | Merge.kif 13311-13312 | |
| (subclass Cooperation SocialInteraction) | Merge.kif 13310-13310 | 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 13314-13320 |
|
| 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 2500-2512 |
|
|
|
|