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

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 13265-13266
(subclass Cooperation SocialInteraction) Merge.kif 13264-13264 Cooperation is a subclass of social interaction

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


(subclass JointOperation Cooperation) MilitaryProcesses.kif 1717-1717 Joint operation is a subclass of cooperation
(termFormat ChineseLanguage Cooperation "合作") chinese_format.kif 1206-1206
(termFormat EnglishLanguage Cooperation "cooperation") english_format.kif 1629-1629
(termFormat FrenchLanguage Cooperation "coop�ration") french_format.kif 884-884
(termFormat Hindi Cooperation "sahayoga") terms-hindi.txt 417-417
(termFormat ItalianLanguage Cooperation "Cooperazione") terms-it.txt 420-420
(termFormat JapaneseLanguage Cooperation "協力") japanese_format.kif 2568-2568
(termFormat PortugueseLanguage Cooperation "Cooperacao") portuguese_format.kif 836-836
(termFormat cz Cooperation "cooperation") terms-cz.txt 456-456
(termFormat ro Cooperation "cooperare") relations-ro.kif 905-905
(termFormat tg Cooperation "nakikiisa") terms-tg.txt 421-421

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


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


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 3.0 is open source software produced by Articulate Software and its partners