Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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...

VerbNet: contribute-13.2|abnegate, conspire-71|ally, amalgamate-22.2|alternate, amalgamate-22.2|associate, amalgamate-22.2|confederate, acquiesce-95|capitulate, correspond-36.1|collaborate, amalgamate-22.2|confederate, amalgamate-22.2|associate, correspond-36.1|cooperate, correspond-36.1|cooperate, contribute-13.2|surrender, correspond-36.1|cooperate, contribute-13.2|submit, contribute-13.2|surrender, amalgamate-22.2|alternate,


appearance as argument number 1
-------------------------


(documentation Cooperation ChineseLanguage "这是 SocialInteractionsubclass,它是当 参与者为了实现一个共同目标而一起努力。") 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 12298-12299
(subclass Cooperation SocialInteraction) Merge.kif 12297-12297 Cooperation is a subclass of social interaction

appearance as argument number 2
-------------------------


(subclass JointOperation Cooperation) MilitaryProcesses.kif 1698-1698 Joint operation is a subclass of cooperation
(termFormat ChineseLanguage Cooperation "合作") chinese_format.kif 1206-1206
(termFormat EnglishLanguage Cooperation "cooperation") english_format.kif 1634-1634

antecedent
-------------------------


(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
        (forall (?AGENT)
            (=>
                (agent ?COOPERATE ?AGENT)
                (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
Merge.kif 12301-12307


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners