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 6809-6810 | |
(documentation Millimeter JapaneseLanguage "メートルの約数。シンボル:ミリメートル。ミリメート ルは1メートルの1000分の1である。") | japanese_format.kif 1214-1215 | |
(instance Millimeter UnitOfLength) | Merge.kif 6812-6812 | Millimeter は UnitOfLength の instance では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Millimeter "毫米") | domainEnglishFormat.kif 37814-37814 | |
(termFormat ChineseTraditionalLanguage Millimeter "毫米") | domainEnglishFormat.kif 37813-37813 | |
(termFormat EnglishLanguage Millimeter "millimeter") | domainEnglishFormat.kif 37812-37812 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6814-6817 | equal 実数 の Millimeter(s) and 実数 + 0.001 の Meter(s) |
(equal SquareMillimeter (SquareUnitFn Millimeter)) |
Geography.kif 4213-4213 | equal SquareMillimeter and SquareUnitFn Millimeter |
![]() |
![]() |