| Cooperation | |
| appearance as argument number 1 |
|
|
| (documentation Cooperation ChineseLanguage "这是 SocialInteraction 的 subclass，它是当 参与者为了实现一个共同目标而一起努力。") | 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 13311-13312 | |
| (subclass Cooperation SocialInteraction) | Merge.kif 13310-13310 |
| appearance as argument number 2 |
|
|
| (subclass JointOperation Cooperation) | MilitaryProcesses.kif 1717-1717 | |
| (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 13314-13320 |
| 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 2500-2512 |
|
|
|