Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   EngineGovernor
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Howitzer ArtilleryGun) | MilitaryDevices.kif 196-196 | Howitzer is a subclass of artillery gun |
| (documentation Howitzer EnglishLanguage "Howitzer is an artillery weapon that falls between a cannon (or field gun) and a mortar. It is capable of both low angle fire like a field gun and high angle fire like a MortarGun, given the distinction between low and high angle fire breaks at 45 degrees or 800 mils (NATO). U.S. military doctrine defines howitzers as any cannon artillery capable of both high-angle fire (45° to 90° elevation) and low-angle fire (0° to 45° elevation); guns are defined as being only capable of low-angle fire (0° to 45° elevation); and mortars are defined as being only capable of high-angle fire (45° to 90° elevation)[Wikipedia]") | MilitaryDevices.kif 197-204 | Howitzer is a subclass of artillery gun |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Howitzer "howitzer") | MilitaryDevices.kif 205-205 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
|