Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  HandTool

 Sigma KEE - HandTool
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, spatula, spreader, square, starter, straightedge, threader, trowel, tweezer, weed-whacker, weeder, wire_stripper

appearance as argument number 1
-------------------------


(subclass HandTool UnpoweredDevice) Cars.kif 4363-4363 Hand tool is a subclass of unpowered device
(documentation HandTool EnglishLanguage "Any UnpoweredDevice that a Human is capable of Carrying and is designed for a particular purpose.") Cars.kif 4365-4366 Hand tool is a subclass of unpowered device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage HandTool "hand tool") Cars.kif 4364-4364

antecedent
-------------------------


(=>
    (instance ?HT HandTool)
    (capability Carrying objectTransferred ?HT))		 Cars.kif 4368-4370 If X is an instance of hand tool, then X is capable of doing carrying as a object transferred

consequent
-------------------------


(=>
    (instance ?HTB HandToolBox)
    (hasPurpose ?HTB
        (exists (?HT)
            (and
                (instance ?HT HandTool)
                (contains ?HTB ?HT)))))		 Cars.kif 4718-4724 If X is an instance of tool box, then X has the purpose there exists Y such that Y is an instance of hand tool and X contains Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners