Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| angleOfFire |
| appearance as argument number 1 |
|
| (instance angleOfFire BinaryPredicate) | MilitaryDevices.kif 249-249 | angle of fire is an instance of binary predicate |
| (documentation angleOfFire EnglishLanguage "angleOfFire is a relation linking a Shooting event with the angle between the Horizontal plane and the axial direction of the barrel of gun, mortar or heavy artillery. [Wikipedia]") | MilitaryDevices.kif 250-252 | angle of fire is an instance of binary predicate |
| (domain angleOfFire 1 Shooting) | MilitaryDevices.kif 255-255 | The number 1 argument of angle of fire is an instance of shooting |
| (domain angleOfFire 2 AngleMeasure) | MilitaryDevices.kif 256-256 | The number 2 argument of angle of fire is an instance of angle measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage angleOfFire "angle of fire") | MilitaryDevices.kif 253-253 | |
| (format EnglishLanguage angleOfFire "the angleOfFire of %1 %2 is %2") | MilitaryDevices.kif 254-254 | |
| (relatedInternalConcept ShootingAngle angleOfFire) | MilitaryDevices.kif 278-278 | Shooting angle is internally related to angle of fire |
| antecedent |
|
|
| (=> (and (angleOfFire ?S ?A) (instrument ?S ?G) (instance ?G Gun) (part ?B ?G) (instance ?B GunBarrel) (instance ?L FiniteLineInSpace) (endPointsOfLineInSpace ?P1 ?P2 ?L) (objectEnds ?P1 ?P2 ?B) (eventLocated ?S ?R) (instance ?R GeographicArea) (part ?P ?R)) (planeAngleMeasure ?L (LevelPlaneFn ?P PlanetEarth) ?A)) |
MilitaryDevices.kif 258-272 | If All of the following hold: (1) the angleOfFire of X Y is Y (2) Z is an instrument for X (3) Z is an instance of gun (4) W is a part of Z (5) W is an instance of gun barrel (6) V is an instance of finite line in space (7) U and T are end points of V (8) U and T are the end PointInSpace of object W (9) X is located at S (10) S is an instance of geographic area (11) R is a part of S, then the angle between V, the PlaneInSpace is perpendicular to the line formed by R, and the centre of the AstronomicalBody. is Y |
| (=> (and (instance ?S Shooting) (attribute ?S HighAngleFire) (angleOfFire ?S (MeasureFn ?A AngularDegree))) (and (greaterThanOrEqualTo ?A 45) (lessThanOrEqualTo ?A 90))) |
MilitaryDevices.kif 294-302 | 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 |
| (=> (and (instance ?S Shooting) (attribute ?S LowAngleFire) (angleOfFire ?S (MeasureFn ?A AngularDegree))) (and (greaterThanOrEqualTo ?A 0) (lessThanOrEqualTo ?A 45))) |
MilitaryDevices.kif 309-317 | 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 |
|
|
| (=> (instance ?G ArtilleryCannon) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 45))))) |
MilitaryDevices.kif 177-187 | If X is an instance of artillery cannon, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 0 and Z is less than or equal to 45 |
| (=> (instance ?G Howitzer) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 90))))) |
MilitaryDevices.kif 207-217 | If X is an instance of howitzer, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 0 and Z is less than or equal to 90 |
| (=> (instance ?G MortarGun) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 45) (lessThanOrEqualTo ?X 90))))) |
MilitaryDevices.kif 230-240 | If X is an instance of mortar gun, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 45 and Z is less than or equal to 90 |
|