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