LowAngleFire - Sigma Knowledge base Browser

appearance as argument number 1

(instance LowAngleFire ShootingAngle)	MilitaryDevices.kif 304-304	Low angle fire is an instance of shooting angle
(documentation LowAngleFire EnglishLanguage "LowAngleFire describes a Shooting event with an angleOfFire between 0 to 45 to degree elevation.")	MilitaryDevices.kif 305-306	Low angle fire is an instance of shooting angle

appearance as argument number 2

(termFormat EnglishLanguage LowAngleFire "low angle fire")

antecedent

(=>
    (and
        (instance ?S Shooting)
        (attribute ?S LowAngleFire)
        (angleOfFire ?S
            (MeasureFn ?A AngularDegree)))
    (and
        (greaterThanOrEqualTo ?A 0)
        (lessThanOrEqualTo ?A 45)))

If X is an instance of shooting, low angle fire is an attribute of X, and the angleOfFire of X Y angular degree(s) is Y angular degree(s), then Y is greater than or equal to 0 and Y is less than or equal to 45

consequent

(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G ArtilleryCannon)) (attribute ?S LowAngleFire))	MilitaryDevices.kif 189-194	If X is an instance of shooting, Y is an instrument for X, and Y is an instance of artillery cannon, then low angle fire is an attribute of X
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Howitzer)) (or (attribute ?S HighAngleFire) (attribute ?S LowAngleFire)))	MilitaryDevices.kif 219-226	If X is an instance of shooting, Y is an instrument for X, and Y is an instance of howitzer, then high angle fire is an attribute of X or low angle fire is an attribute of X
(=> (and (instance ?S Shooting) (attribute ?S ?A) (instance ?A ShootingAngle)) (or (instance ?A HighAngleFire) (instance ?A LowAngleFire)))	MilitaryDevices.kif 280-287	If X is an instance of shooting, Y is an attribute of X, and Y is an instance of shooting angle, then Y is an instance of high angle fire or Y is an instance of low angle fire