Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transfer
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 10585-10586
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12046-12046
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12049-12049
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12050-12050
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12047-12047
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12051-12051
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12052-12052
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12045-12045
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12048-12048
No TPTP formula. May not be expressible in strict first order. Merge.kif 10583-10583 Transfer is a subclass of translocation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10621-10621 Carrying is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5172-5172 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 2396-2396 Electric transmission is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Merge.kif 10723-10723 Impelling is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5686-5686 Mailing is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5690-5690 Messaging is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14635-14635 Moving residence is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14139-14139 Pouring is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Merge.kif 10654-10654 Putting is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Merge.kif 10773-10773 Releasing is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Merge.kif 10633-10633 Removing is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14208-14208 Spraying is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Merge.kif 10703-10703 Substituting is a subclass of transfer
No TPTP formula. May not be expressible in strict first order. Merge.kif 10735-10735 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 1460-1460

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26006-26006 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 25679-25679 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 26013-26022
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8626-8636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8659-8669
No TPTP formula. May not be expressible in strict first order. Cars.kif 1731-1747
No TPTP formula. May not be expressible in strict first order. Cars.kif 3909-3919
No TPTP formula. May not be expressible in strict first order. Cars.kif 3921-3937
No TPTP formula. May not be expressible in strict first order. Cars.kif 4062-4077
No TPTP formula. May not be expressible in strict first order. Merge.kif 10588-10594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8675-8690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8643-8653

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 903-918
No TPTP formula. May not be expressible in strict first order. Cars.kif 973-983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4331-4340
No TPTP formula. May not be expressible in strict first order. Cars.kif 2643-2659
No TPTP formula. May not be expressible in strict first order. Cars.kif 2679-2687
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2569
No TPTP formula. May not be expressible in strict first order. Cars.kif 1000-1011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8790-8797
No TPTP formula. May not be expressible in strict first order. Cars.kif 2704-2717
No TPTP formula. May not be expressible in strict first order. Cars.kif 3317-3327
No TPTP formula. May not be expressible in strict first order. Cars.kif 3276-3291
No TPTP formula. May not be expressible in strict first order. Cars.kif 3834-3850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1464-1472
No TPTP formula. May not be expressible in strict first order. engineering.kif 912-923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8601-8608
No TPTP formula. May not be expressible in strict first order. Cars.kif 4692-4703
No TPTP formula. May not be expressible in strict first order. Cars.kif 2783-2791
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26035-26044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26057-26066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26024-26033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26046-26055


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners