No TPTP formula. May not be expressible in strict first order. | Merge.kif 11470-11470 | Substituting is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11471-11471 | Substituting is a subclass of dual object process |
![]() |