Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 13571-13571 | 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 13572-13573 | Cooperation is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?COOPERATE Cooperation) (agent ?COOPERATE ?AGENT)) (exists (?AGENT2 ?PURP) (and (hasPurposeForAgent ?COOPERATE ?AGENT ?PURP) (hasPurposeForAgent ?COOPERATE ?AGENT2 ?PURP)))) |
Merge.kif 13575-13582 | If X is an instance of cooperation and Y is an agent of X, then there exist Z, W such that X has the purpose Y for W, and X has the purpose Z for W |
| 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 2508-2520 | 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 |
|