| 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 11449-11449 | Substituting is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11810-11810 | Transaction is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12109-12109 | Comparing is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12347-12347 | Attaching is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12399-12399 | Detaching is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12456-12456 | Combining is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12482-12482 | Separating is a subclass of dual object process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12731-12731 | Translating is a subclass of dual object process |
|
|