Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Millimeter
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 6784-6785
(documentation Millimeter JapaneseLanguage "メートルの約数。シンボル:ミリメートル。ミリメート ルは1メートルの1000分の1である。") japanese_format.kif 1214-1215
(instance Millimeter UnitOfLength) Merge.kif 6787-6787 毫米UnitOfLengthinstance

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
-------------------------


(=>
    (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 1285-1301
(=>
    (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 1367-1385
(=>
    (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 1399-1415
(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 0.7))
Anatomy.kif 1576-1583
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 3.0))
Anatomy.kif 1526-1533
(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256.0))
Geography.kif 7311-7316
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256.0 ?Size)
        (greaterThan ?Size 64.0)))
Geography.kif 7288-7295
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64.0 ?Size)
        (greaterThan ?Size 2.0)))
Geography.kif 7265-7272
(=>
    (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 17972-17980
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2.0 ?Size)
        (greaterThan ?Size 0.062)))
Geography.kif 4375-4383
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))
Geography.kif 4420-4428

consequent
-------------------------


(=>
    (and
        (instance ?A CoffeeGrindAttribute)
        (attribute ?C ?A)
        (instance ?C CoffeeGrind))
    (exists (?L ?X)
        (and
            (grainSize ?C ?L)
            (instance ?X LengthMeasure)
            (equal ?X
                (MeasureFn ?L Millimeter)))))
Food.kif 1063-1073
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X MiniSizeDisc))
    (width ?X
        (MeasureFn 80 Millimeter)))
Media.kif 1243-1248
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X StandardSizeDisc))
    (width ?X
        (MeasureFn 120 Millimeter)))
Media.kif 1230-1235
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?CLTN ?R ?SIZE)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?DRIZZLE ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 2803-2815
(=>
    (instance ?HR HeavyRaining)
    (holdsDuring
        (WhenFn ?HR)
        (exists (?AREA ?NUM)
            (and
                (instance ?AREA Region)
                (eventLocated ?HR ?AREA)
                (rainfallIntensity ?AREA
                    (WhenFn ?HR)
                    (PerFn
                        (MeasureFn ?NUM Millimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 10.0)
                (greaterThan 50.0 ?NUM)))))
Weather.kif 1109-1123
(=>
    (instance ?RAIN Raining)
    (exists (?CLTN ?R ?CLASS)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (instance ?R ?CLASS
                (member ?R ?CLTN)
                (objectTransferred ?RAIN ?CLTN)
                (defaultMinimumSphereRadius ?CLASS
                    (MeasureFn 0.1 Millimeter))
                (defaultMaximumSphereRadius ?CLASS
                    (MeasureFn 9.0 Millimeter))))))
Weather.kif 1057-1070

statement
-------------------------


(caliber GAU12U
    (MeasureFn 25.0 Millimeter))
MilitaryDevices.kif 316-317 25.0 毫米GAU12Ucaliber
(caliber M240
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 393-394 7.62 毫米M240caliber
(caliber M242
    (MeasureFn 25.0 Millimeter))
MilitaryDevices.kif 282-283 25.0 毫米M242caliber
(caliber M2Browning
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 497-498 12.7 毫米m2褐变caliber
(caliber M3M
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 574-575 12.7 毫米M3Mcaliber
(caliber M60
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 433-434 7.62 毫米M60caliber
(caliber MK19
    (MeasureFn 40.0 Millimeter))
MilitaryDevices.kif 636-637 40.0 毫米Mk19caliber
(caliber SMAWBunkerBuster
    (MeasureFn 83.0 Millimeter))
MilitaryDevices.kif 828-829 83.0 毫米SMAW掩体破坏者caliber
(caliber XM218
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 531-532 12.7 毫米XM218caliber
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6789-6792 实数 毫米 equal 那个 实数 和 0.001 仪表


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