No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | Digesting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10283-10283 | Digesting is a subclass of autonomic process |