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 11162-11163 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12035-12035 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12038-12038 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12039-12039 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12036-12036 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12040-12040 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12041-12041 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12034-12034 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12037-12037 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11160-11160 | Transfer is a subclass of translocation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11212-11212 | Carrying is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5235-5235 | Changing clothing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 481-481 | 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 11314-11314 | Impelling is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6345-6345 | Mailing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6349-6349 | Messaging is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17526-17526 | Moving residence is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17028-17028 | Pouring is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11245-11245 | Putting is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11364-11364 | Releasing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11224-11224 | Removing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17097-17097 | Spraying is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11294-11294 | Substituting is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6287-6287 | Swallowing is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11326-11326 | 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 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29276-29276 | The number 4 argument of beforeOnPath is an instance of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28949-28949 | The number 1 argument of objectTransferred is an instance of transfer |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29283-29292 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10663-10673 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10696-10706 |
|
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 3896-3906 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3908-3924 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4049-4064 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11198-11203 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11205-11210 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11165-11171 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10712-10727 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10680-10690 |
|
consequent |
![]() |
![]() |
![]() |