Transfer(transfer)![]() ![]() ![]() ![]() | ![]() | 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 11444-11445 | |
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 12012-12012 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12015-12015 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12016-12016 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12013-12013 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12017-12017 | |
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 12011-12011 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12014-12014 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11442-11442 | Transfer is a subclass of translocation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11516-11516 | Carrying is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6457-6457 | 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 2366-2366 | Electric transmission is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11618-11618 | Impelling is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10387-10387 | Ingesting is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1161-1161 | Intraosseous infusion is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7584-7584 | Mailing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7588-7588 | Messaging is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19626-19626 | Moving is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19085-19085 | Pouring is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11549-11549 | Putting is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11668-11668 | Releasing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11528-11528 | Removing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19154-19154 | Spraying is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11598-11598 | Substituting is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7525-7525 | Swallowing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11630-11630 | Touching is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1119-1119 | Touching is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1455-1455 | Touching is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 797-797 | Touching is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 329-329 | Touching is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 332-332 | Touching is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2481-2481 | Touching is a subclass of transfer |
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 31665-31665 | 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 11482-11482 | The number 1 argument of object transferred is an instance of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32696-32696 | The number 1 argument of passenger is an instance of transfer |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31672-31681 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12439-12449 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12472-12482 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1724-1740 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3954-3964 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3966-3982 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4107-4122 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11502-11507 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11509-11514 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11447-11453 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12488-12503 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12456-12466 |
|
consequent |
![]() |
![]() |
![]() |