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 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3282-3283 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13265-13266 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13264-13264 | Cooperation is a subclass of social interaction |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1717-1717 | Joint operation is a subclass of cooperation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1206-1206 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1629-1629 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 884-884 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 417-417 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 420-420 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2568-2568 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 836-836 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 456-456 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 905-905 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 421-421 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13268-13274 |
|