| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | Digesting e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10283-10283 | Digesting e' uma sub-classe de AutonomicProcess |
|
|