TreeView Knowledge Base Browser

appearance as argument number 1

(instance HighAngleFire ShootingAngle)	MilitaryDevices.kif 289-289	High angle fire is an instance of shooting angle
(documentation HighAngleFire EnglishLanguage "HighAngleFire describes a Shooting event with an angleOfFire between 45 to 90 degree elevation.")	MilitaryDevices.kif 290-291	High angle fire is an instance of shooting angle

appearance as argument number 2

(termFormat EnglishLanguage HighAngleFire "high angle fire")

antecedent

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

If X is an instance of shooting, high 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 45 and Y is less than or equal to 90

consequent

(=> (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) (instrument ?S ?G) (instance ?G MortarGun)) (attribute ?S HighAngleFire))	MilitaryDevices.kif 242-247	If X is an instance of shooting, Y is an instrument for X, and Y is an instance of mortar gun, then high 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