Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Milliradian(milliradian) |
| appearance as argument number 1 |
|
| (instance Milliradian UnitOfAngularMeasure) | MilitaryDevices.kif 321-321 | Milliradian is an instance of unit of angular measure |
| (documentation Milliradian EnglishLanguage "A Milliradian (SI-symbol mrad, sometimes also abbreviated mil) is an SI derived unit for angular measurement which is defined as a thousandth of a radian (0.001 radian). Milliradians are used in adjustment of firearm sights by adjusting the angle of the sight compared to the barrel (up, down, left, or right). [Wikipedia]") | MilitaryDevices.kif 322-325 | Milliradian is an instance of unit of angular measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Milliradian "milliradian") | MilitaryDevices.kif 326-326 | |
| (names "mil" Milliradian) | MilitaryDevices.kif 327-327 | Milliradian has name "mil" |
| statement |
|
|
| (equal (MeasureFn ?X Milliradian) (MeasureFn ?X (MilliFn Radian))) |
MilitaryDevices.kif 329-332 | equal X milliradian(s) and X one thousandth of a radian(s) |
|