No TPTP formula. May not be expressible in strict first order. | Merge.kif 13286-13286 | Cooperacao e' uma sub-classe de Interacao Social |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1717-1717 | JointOperation e' uma sub-classe de Cooperacao |