No TPTP formula. May not be expressible in strict first order. | Merge.kif 10304-10304 | Digesting est une sous-classe de fonction physiologique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10305-10305 | Digesting est une sous-classe de AutonomicProcess |
![]() |