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 6794-6795 | |
(documentation Millimeter JapaneseLanguage "メートルの約数。シンボル:ミリメートル。ミリメート ルは1メートルの1000分の1である。") | japanese_format.kif 1214-1215 | |
(instance Millimeter UnitOfLength) | Merge.kif 6797-6797 |
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 |
![]() |
(=> (and (instance ?C Cappuccino) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (approximateValue ?L 20.0))) |
Food.kif 1286-1302 | |
(=> (and (instance ?C FlatWhite) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (part ?B ?E) (top ?B ?M) (instance ?B Bubble) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (greaterThanOrEqualTo ?L 1.0) (lessThanOrEqualTo ?L 20.0))) |
Food.kif 1368-1386 | |
(=> (and (instance ?C Latte) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.21) (approximateValue ?L 12.0))) |
Food.kif 1400-1416 | |
(=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7)) |
Anatomy.kif 1611-1618 | |
(=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 3.0)) |
Anatomy.kif 1561-1568 | |
(=> (and (instance ?Particle Boulder) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (greaterThan ?Size 256.0)) |
Geography.kif 7477-7482 | |
(=> (and (instance ?Particle Cobble) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 256.0 ?Size) (greaterThan ?Size 64.0))) |
Geography.kif 7454-7461 | |
(=> (and (instance ?Particle Pebble) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 64.0 ?Size) (greaterThan ?Size 2.0))) |
Geography.kif 7431-7438 | |
(=> (and (part ?Particle ?Soil) (instance ?Soil Clay) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 0.004 ?Size) (greaterThan ?Size 0.001))) |
Mid-level-ontology.kif 19543-19551 | |
(=> (and (part ?Particle ?Soil) (instance ?Soil Sand) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 2.0 ?Size) (greaterThan ?Size 0.062))) |
Geography.kif 4445-4453 | |
(=> (and (part ?Particle ?Soil) (instance ?Soil Silt) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 0.062 ?Size) (greaterThan ?Size 0.004))) |
Geography.kif 4490-4498 |
consequent |
![]() |
statement |
![]() |
(caliber GAU12U (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 473-474 | |
(caliber M240 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 550-551 | |
(caliber M242 (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 439-440 | |
(caliber M2Browning (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 654-655 | |
(caliber M3M (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 731-732 | |
(caliber M60 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 590-591 | |
(caliber MK19 (MeasureFn 40.0 Millimeter)) |
MilitaryDevices.kif 793-794 | |
(caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter)) |
MilitaryDevices.kif 985-986 | |
(caliber XM218 (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 688-689 | |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6799-6802 | |
(equal SquareMillimeter (SquareUnitFn Millimeter)) |
Geography.kif 4043-4043 |
![]() |
![]() |