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 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
-------------------------


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. Mid-level-ontology.kif 9964-9976
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1916-1929
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 949-964
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 4461-4470
No TPTP formula. May not be expressible in strict first order. Cars.kif 2629-2645
No TPTP formula. May not be expressible in strict first order. Cars.kif 2665-2673
No TPTP formula. May not be expressible in strict first order. Cars.kif 2540-2555
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 11341-11348
No TPTP formula. May not be expressible in strict first order. Cars.kif 2690-2703
No TPTP formula. May not be expressible in strict first order. Cars.kif 3303-3313
No TPTP formula. May not be expressible in strict first order. Cars.kif 3262-3277
No TPTP formula. May not be expressible in strict first order. Cars.kif 3818-3834
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9507-9519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9546-9557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1527-1535
No TPTP formula. May not be expressible in strict first order. engineering.kif 914-925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11082-11089
No TPTP formula. May not be expressible in strict first order. Cars.kif 4669-4680
No TPTP formula. May not be expressible in strict first order. Cars.kif 2769-2777
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29801-29810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29823-29832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29790-29799

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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