HandGrenade - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HandGrenade Bomb)	Mid-level-ontology.kif 24157-24157	Hand grenade is a subclass of bomb
(documentation HandGrenade EnglishLanguage "A hand grenade is a small explosive device with a simple trigger mechanism, usually lasting a few seconds, designed to be propelled by a human to its target.")	Mid-level-ontology.kif 24158-24160	Hand grenade is a subclass of bomb
(defaultMinimumMeasure HandGrenade (MeasureFn 10 Ounce))	DimensioningAmenities.kif 1016-1016	The minimum expected value of hand grenade is 10 ounce(s)
(defaultMaximumMeasure HandGrenade (MeasureFn 48 Ounce))	DimensioningAmenities.kif 1017-1017	The maximum expected value of hand grenade is 48 ounce(s)
(externalImage HandGrenade "http://articulatesoftware.com/SUMOpictures/armed_services/ weapons/ GRENADE.png")	pictureList.kif 476-476	The maximum expected value of hand grenade is 48 ounce(s)
(externalImage HandGrenade "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ hand_grenade.png")	pictureList.kif 489-489	The maximum expected value of hand grenade is 48 ounce(s)

appearance as argument number 2

(termFormat EnglishLanguage HandGrenade "hand grenade")	domainEnglishFormat.kif 27326-27326
(termFormat ChineseTraditionalLanguage HandGrenade "手榴彈")	domainEnglishFormat.kif 27327-27327
(termFormat ChineseLanguage HandGrenade "手榴弹")	domainEnglishFormat.kif 27328-27328

antecedent

(=>
    (instance ?X HandGrenade)
    (exists (?N)
        (and
            (measure ?X
                (MeasureFn ?N PoundMass))
            (lessThan ?N 10.0))))

If X is an instance of hand grenade, then there exists Y such that the measure of X is Y pound mass(s) and Y is less than 10.0

consequent

(=>
    (instance ?X HandGrenadeAttack)
    (exists (?G)
        (and
            (instance ?G HandGrenade)
            (objectTransferred ?X ?G))))

If X is an instance of hand grenade attack, then there exists Y such that Y is an instance of hand grenade and the object transferred in X is Y