Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Cooperation

 Sigma KEE - Cooperation
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
-------------------------


(subclass JointOperation Cooperation) MilitaryProcesses.kif 1739-1739 Joint operation is a subclass of cooperation
(termFormat EnglishLanguage Cooperation "cooperation") english_format.kif 1633-1633 Joint operation is a subclass of cooperation

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners