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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cooperation
Cooperation

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 12164-12165
(subclass Cooperation SocialInteraction) Merge.kif 12163-12163

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


(subclass JointOperation Cooperation) MilitaryProcesses.kif 1698-1698
(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 12167-12173


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