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 6775-6776
(documentation Millimeter JapaneseLanguage "メートルの約数。シンボル:ミリメートル。ミリメート ルは1メートルの1000分の1である。") japanese_format.kif 1214-1215
(instance Millimeter UnitOfLength) Merge.kif 6778-6778 Millimeter est une instance de UnitOfLength

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Millimeter "毫米") domainEnglishFormat.kif 37831-37831
(termFormat ChineseTraditionalLanguage Millimeter "毫米") domainEnglishFormat.kif 37830-37830
(termFormat EnglishLanguage Millimeter "millimeter") domainEnglishFormat.kif 37829-37829

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 1575-1582
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 3.0))		 Anatomy.kif 1525-1532
(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256.0))		 Geography.kif 7380-7385
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256.0 ?Size)
        (greaterThan ?Size 64.0)))		 Geography.kif 7357-7364
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64.0 ?Size)
        (greaterThan ?Size 2.0)))		 Geography.kif 7334-7341
(=>
    (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 19550-19558
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2.0 ?Size)
        (greaterThan ?Size 0.062)))		 Geography.kif 4444-4452
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))		 Geography.kif 4489-4497

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
(=>
    (equal
        (MeasureFn ?X PoundForce)
        (JankaHardnessFn ?CLASS))
    (modalAttribute
        (exists (?T ?W ?P ?B ?H ?S)
            (and
                (instance ?T ?CLASS)
                (part ?W ?T)
                (instance ?W Wood)
                (instance ?P Pushing)
                (destination ?P ?W)
                (instance ?B Ball)
                (material ?B Steel)
                (patient ?P ?B)
                (sphereRadius ?B
                    (MeasureFn 5.64 Millimeter))
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?W)
                (surface ?S ?W)
                (distance ?S ?H
                    (MeasureFn 5.64 Millimeter))
                (measure ?P
                    (MeasureFn ?X PoundForce)))) Likely))		 Mid-level-ontology.kif 10417-10440
(=>
    (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 2785-2797
(=>
    (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 1093-1107
(=>
    (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 1041-1054
(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?X)
        (and
            (instance ?C Collection)
            (member ?P ?C)
            (instance ?P SphericalObject)
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter))
            (modalAttribute
                (and
                    (material ?P Lead)
                    (lessThan ?X 10)) Likely))))		 Mid-level-ontology.kif 1150-1162

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 6780-6783 Nombre r�el Millimeter(s) est nombre r�el + 0.001 Meter(s)
(equal SquareMillimeter
    (SquareUnitFn Millimeter))		 Geography.kif 4042-4042 SquareMillimeter est SquareUnitFn Millimeter


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