| Cooperation(cooperation) | | abnegate, accord, agreed, agreement, aid, alternate, assist, assistance, buddy_system, capitulate, casework, championship, clannish, coaction, collaboration, collaborationism, collaborative, collective, collectively, commensal, community, community_of_interests, community_service, compromise, concert, concerted, conclude, concurrence, concurrency, conjoined, conjoint, conjointly, conjunct, conjunctive, consensus, convoy, cooperation, cooperative, cooperatively, coordinately, coordination, corporate, cosignatory, disservice, eastbound, eastward, facilitation, give_and_take, give_up, hand... |
| 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 13441-13442 | |
| (subclass Cooperation SocialInteraction) | Merge.kif 13440-13440 | 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 |
|
| 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 2481-2493 |
|
|
|
|