Millimeter
|
|
appearance as argument number 1 |
(documentation Millimeter ChineseLanguage "这是米的约数,符号:mm。1毫米是1000分之一米。") | chinese_format.kif 2515-2515 | |
(documentation Millimeter EnglishLanguage "Submultiple of Meter. Symbol: mm. A millimeter is the 1000th part of a meter.") | Merge.kif 6785-6786 | |
(documentation Millimeter JapaneseLanguage "メートルの約数。シンボル:ミリメートル。ミリメート ルは1メートルの1000分の1である。") | japanese_format.kif 1214-1215 | |
(instance Millimeter UnitOfLength) | Merge.kif 6788-6788 | Millimeter は UnitOfLength の instance では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Millimeter "毫米") | domainEnglishFormat.kif 37805-37805 | |
(termFormat ChineseTraditionalLanguage Millimeter "毫米") | domainEnglishFormat.kif 37804-37804 | |
(termFormat EnglishLanguage Millimeter "millimeter") | domainEnglishFormat.kif 37803-37803 |
antecedent |
consequent |
statement |
(caliber GAU12U (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 316-317 | caliber GAU12U and 25.0 の Millimeter(s) |
(caliber M240 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 393-394 | caliber M240 and 7.62 の Millimeter(s) |
(caliber M242 (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 282-283 | caliber M242 and 25.0 の Millimeter(s) |
(caliber M2Browning (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 497-498 | caliber M2Browning and 12.7 の Millimeter(s) |
(caliber M3M (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 574-575 | caliber M3M and 12.7 の Millimeter(s) |
(caliber M60 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 433-434 | caliber M60 and 7.62 の Millimeter(s) |
(caliber MK19 (MeasureFn 40.0 Millimeter)) |
MilitaryDevices.kif 636-637 | caliber MK19 and 40.0 の Millimeter(s) |
(caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter)) |
MilitaryDevices.kif 828-829 | caliber SMAWBunkerBuster and 83.0 の Millimeter(s) |
(caliber XM218 (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 531-532 | caliber XM218 and 12.7 の Millimeter(s) |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6790-6793 | 実数 の Millimeter(s) は 実数 + 0.001 の Meter(s) と equal では %n |