| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11292-11292 | Transferencia e' uma sub-classe de Translocation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5520-5520 | ChangingClothing e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6588-6588 | Swallowing e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6647-6647 | Mailing e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6651-6651 | Messaging e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17534-17534 | Pouring e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17603-17603 | Spraying e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18055-18055 | MovingResidence e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | Ingerir e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11366-11366 | Carrying e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11378-11378 | Remover e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11399-11399 | Colocar e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11448-11448 | Substituir e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | Propulsionar e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11480-11480 | Tocar e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11518 | Releasing e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1169-1169 | IntraosseousInfusion e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 526-526 | DeliveryService e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | ElectricTransmission e' uma sub-classe de Transferencia |
|
|