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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Cooperation

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 12347-12348
(subclass Cooperation SocialInteraction) Merge.kif 12346-12346

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


    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
        (forall (?AGENT)
                (agent ?COOPERATE ?AGENT)
                (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
Merge.kif 12350-12356

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