| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1633-1633 | Dual object process is a subclass of process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11471-11471 | Substituting is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11832-11832 | Transaction is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12131-12131 | Comparing is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12369-12369 | Attaching is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12421-12421 | Detaching is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12478-12478 | Combining is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12504-12504 | Separating is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12753-12753 | Translating is a subclass of dual object process |
|
|