| Slicing(slicing) | | bisect, bob, break_off, carve, chip, chip_at, chop, chop_up, cleave, clip, cradle, crop, cube, cut, cut_away, cut_down, cut_off, cut_out, cut_up, cutting, dice, discerp, dissection, dock, hack, jag, julienne, knap, laminate, lop, manicure, mow, nip, nip_off, pare, pink, plane, rive, scission, scissor, sever, shave, shear, slice, slice_up, slicing, slit, snip, snip_off, split... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22029-22032 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22027-22027 | Slicing is a subclass of cutting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22028-22028 | Slicing is a subclass of separating |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65500-65500 |
|
|
|