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

KB Term:  Term intersection
English Word: 

Sigma KEE - Handle
Handle(handle)ax_handle, axe_handle, balusters, balustrade, banister, bannister, crop, grip, haft, handgrip, handle, handrail, handspike, helve, hilt, hoe_handle, hold, mop_handle, pommel, rail, railing, rake_handle, stock

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


(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1721-1721 Handle is a subclass of engineering component
(documentation Handle EnglishLanguage "The part or parts of an Artifact that are designed to be held with the Hands when the Artifact is used or carried.") Mid-level-ontology.kif 1722-1723 Handle is a subclass of engineering component

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


(termFormat EnglishLanguage Handle "handle") domainEnglishFormat.kif 27350-27350
(termFormat ChineseTraditionalLanguage Handle "處理") domainEnglishFormat.kif 27351-27351
(termFormat ChineseLanguage Handle "处理") domainEnglishFormat.kif 27352-27352

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


(=>
    (instance ?H Handle)
    (hasPurpose ?H
        (exists (?G ?D)
            (and
                (instance ?G Grabbing)
                (patient ?G ?H)
                (instrument ?G ?D)
                (instance ?D Hand)))))		 Mid-level-ontology.kif 1724-1733 If X is an instance of handle, then X has the purpose there exist Y, Z such that Y is an instance of grabbing, X is a patient of Y, Z is an instrument for Y, and Z is an instance of hand

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


(=>
    (instance ?S Spear)
    (exists (?H)
        (and
            (instance ?H Handle)
            (part ?H ?S))))		 Mid-level-ontology.kif 1228-1233 If X is an instance of spear, then there exists Y such that Y is an instance of handle and Y is a part of X
(=>
    (instance ?S Shield)
    (exists (?H)
        (and
            (instance ?H Handle)
            (part ?H ?S))))		 Mid-level-ontology.kif 1780-1785 If X is an instance of shield, then there exists Y such that Y is an instance of handle and Y is a part of X
(=>
    (instance ?MUG DrinkingMug)
    (exists (?HANDLE)
        (and
            (instance ?HANDLE Handle)
            (part ?HANDLE ?MUG))))		 Mid-level-ontology.kif 5328-5333 If X is an instance of mug, then there exists Y such that Y is an instance of handle and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners