| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11292-11292 | Transfer is a subclass of translocation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5520-5520 | Changing clothing is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6588-6588 | Swallowing is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6647-6647 | Mailing is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6651-6651 | Messaging is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17534-17534 | Pouring is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17603-17603 | Spraying is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18055-18055 | Moving is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | Ingesting is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11366-11366 | Carrying is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11378-11378 | Removing is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11399-11399 | Putting is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11448-11448 | Substituting is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | Impelling is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11480-11480 | Touching is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11518 | Releasing is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1169-1169 | Intraosseous infusion is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 526-526 | Delivery service is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | Electric transmission is a subclass of transfer |
|
|