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


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 9582-9594
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 948-963
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 4367-4376
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 10895-10902
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 3821-3837
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9153-9165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9192-9203
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1492-1500
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 10638-10645
No TPTP formula. May not be expressible in strict first order. Cars.kif 4672-4683
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 29305-29314
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29327-29336
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29294-29303
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29316-29325

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