Transfer(transfer) more pictures... | FTP, SCNT, air-freight, air-ship, airfreight, attract, backpacking, birl, birle, blow, bowl, bring, bring_down, bring_in, bucket, carry, cast, castle, castling, cattle_drive, circularise, circularize, circulate, circulating, circumfuse, circumvolve, clap, closing, coal, contrive, convect, convey, deliver, deracination, despatch, deviate, direct, dispatch, displace, displacement, distribute, divert, drag, draw, draw_back, draw_close, drive, drive_out, express, expulsion... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4066-4066 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11294-11295 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1795-1796 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12019-12019 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12022-12022 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12023-12023 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12020-12020 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12024-12024 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12025-12025 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12018-12018 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12021-12021 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11292-11292 | Transfer is a subclass of translocation |
appearance as argument number 2 |
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. | Mid-level-ontology.kif 5520-5520 | Changing clothing 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 |
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 10247-10247 | Ingesting 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. | 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 18055-18055 | Moving 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. | Merge.kif 11399-11399 | Putting 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. | Merge.kif 11378-11378 | Removing 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. | Merge.kif 11448-11448 | Substituting 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. | Merge.kif 11480-11480 | Touching is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1119-1119 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1455-1455 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 797-797 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 329-329 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 332-332 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2481-2481 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29772-29772 | The number 4 argument of before on path is an instance of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11332-11332 | The number 1 argument of object transferred is an instance of transfer |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29779-29788 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11108-11118 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11141-11151 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3893-3903 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3905-3921 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4046-4061 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11352-11357 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11359-11364 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11297-11303 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11157-11172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11125-11135 |
|
consequent |