HandTool(hand tool) | auger, awl, bevel, bevel_square, bodkin, crank, dibber, dibble, float, graver, graving_tool, hand_shovel, hand_tool, marlinespike, marlingspike, marlinspike, miter_box, mitre_box, opener, pair_of_pincers, pair_of_pliers, pair_of_tweezers, pallet, pestle, pick, pincer, pitchfork, plasterer's_float, pliers, plumber's_helper, plumber's_snake, plunger, plyers, pointel, pointrel, ravehook, scraper, shovel, spatula, spreader, square, starter, straightedge, threader, trowel, tweezer, weed-whacker, weeder, wire_stripper |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4473-4474 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4471-4471 | Hand tool is a subclass of unpowered device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4472-4472 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4476-4478 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4826-4832 |
|