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


KB Term:  Term intersection
English Word: 

Sigma KEE - Hammer
Hammer(hammer)

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


(subclass Hammer Device) Mid-level-ontology.kif 4668-4668 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 4669-4670 Hammer is a subclass of device
(defaultMinimumHeight Hammer
    (MeasureFn 0.8 Inch))		 DimensioningAmenities.kif 802-802 The minimum expected height of hammer is 0.8 inch(s)
(defaultMaximumHeight Hammer
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 803-803 The maximum expected height of hammer is 3 inch(s)
(defaultMinimumWidth Hammer
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 804-804 The minimum expected width of hammer is 2 inch(s)
(defaultMaximumWidth Hammer
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 805-805 The maximum expected width of hammer is 6 inch(s)
(defaultMinimumLength Hammer
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 806-806 The minimum expected length of hammer is 6 inch(s)
(defaultMaximumLength Hammer
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 807-807 The maximum expected length of hammer is 36 inch(s)
(defaultMinimumMeasure Hammer
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 808-808 The minimum expected value of hammer is 1 pound mass(s)
(defaultMaximumMeasure Hammer
    (MeasureFn 20 PoundMass))		 DimensioningAmenities.kif 809-809 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 4672-4680 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 is open source software produced by Articulate Software and its partners