| appearance as argument number 1 |
|
| (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 | |
| (subclass Howitzer ArtilleryGun) | MilitaryDevices.kif 196-196 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Howitzer "howitzer") | MilitaryDevices.kif 205-205 |
| antecedent |
|
|
| (=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Howitzer)) (or (attribute ?S HighAngleFire) (attribute ?S LowAngleFire))) |
MilitaryDevices.kif 219-226 | |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners