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

KB Term:  Term intersection
English Word: 

Sigma KEE - Hammer
Hammer(hammer)
ball-peen_hammer, hammer, tack_hammer

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


(subclass Hammer Device) Mid-level-ontology.kif 4854-4854 Hammer is a subclass of device
(documentation Hammer EnglishLanguage "A Device that is used to pound Nails into a surface, where they become firmly attached.") Mid-level-ontology.kif 4855-4856 Hammer is a subclass of device
(defaultMinimumHeight Hammer
    (MeasureFn 0.8 Inch))		 DimensioningAmenities.kif 804-804 The minimum expected height of hammer is 0.8 inch(s)
(defaultMaximumHeight Hammer
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 805-805 The maximum expected height of hammer is 3 inch(s)
(defaultMinimumWidth Hammer
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 806-806 The minimum expected width of hammer is 2 inch(s)
(defaultMaximumWidth Hammer
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 807-807 The maximum expected width of hammer is 6 inch(s)
(defaultMinimumLength Hammer
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 808-808 The minimum expected length of hammer is 6 inch(s)
(defaultMaximumLength Hammer
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 809-809 The maximum expected length of hammer is 36 inch(s)
(defaultMinimumMeasure Hammer
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 810-810 The minimum expected value of hammer is 1 pound mass(s)
(defaultMaximumMeasure Hammer
    (MeasureFn 20 PoundMass))		 DimensioningAmenities.kif 811-811 The maximum expected value of hammer is 20 pound mass(s)
(externalImage Hammer "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Hammer.jpg") pictureList.kif 108-108 The maximum expected value of hammer is 20 pound mass(s)
(externalImage Hammer "http://articulatesoftware.com/SUMOpictures/transportation/ Black_n_White/ HAMMER.png") pictureList.kif 488-488 The maximum expected value of hammer is 20 pound mass(s)

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


(termFormat EnglishLanguage Hammer "hammer") domainEnglishFormat.kif 27296-27296
(termFormat ChineseTraditionalLanguage Hammer "錘子") domainEnglishFormat.kif 27297-27297
(termFormat ChineseLanguage Hammer "锤子") domainEnglishFormat.kif 27298-27298

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


(=>
    (instance ?H Hammer)
    (hasPurpose ?H
        (exists (?I ?N)
            (and
                (instance ?I Impelling)
                (instrument ?I ?H)
                (patient ?I ?N)
                (instance ?N Nail)))))		 Mid-level-ontology.kif 4858-4866 If X is an instance of hammer, then X has the purpose there exist Y, Z such that Y is an instance of impelling, X is an instrument for Y, Z is a patient of Y, and Z is an instance of nail


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