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


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 11293-11305
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1909-1922
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3822-3842
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 951-966
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 4906-4915
No TPTP formula. May not be expressible in strict first order. Cars.kif 2613-2629
No TPTP formula. May not be expressible in strict first order. Cars.kif 2649-2657
No TPTP formula. May not be expressible in strict first order. Cars.kif 2524-2539
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 12672-12679
No TPTP formula. May not be expressible in strict first order. Cars.kif 2674-2687
No TPTP formula. May not be expressible in strict first order. Cars.kif 3364-3374
No TPTP formula. May not be expressible in strict first order. Cars.kif 3323-3338
No TPTP formula. May not be expressible in strict first order. Cars.kif 3879-3895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10836-10848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10875-10886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1744-1752
No TPTP formula. May not be expressible in strict first order. engineering.kif 1227-1238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12413-12420
No TPTP formula. May not be expressible in strict first order. Cars.kif 4730-4741
No TPTP formula. May not be expressible in strict first order. Cars.kif 2753-2761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31694-31703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31683-31692

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