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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Millimeter

Sigma KEE - Millimeter
Millimeter(millimeter)millimeter, millimetre, mm

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 6688-6689
(instance Millimeter UnitOfLength) Merge.kif 6691-6691 Millimeter is an instance of UnitOfLength

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


(termFormat ChineseLanguage Millimeter "毫米") domainEnglishFormat.kif 37794-37794
(termFormat ChineseTraditionalLanguage Millimeter "毫米") domainEnglishFormat.kif 37793-37793
(termFormat EnglishLanguage Millimeter "millimeter") domainEnglishFormat.kif 37792-37792

antecedent
-------------------------


(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256.0))
Geography.kif 6999-7004
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256.0 ?Size)
        (greaterThan ?Size 64.0)))
Geography.kif 6976-6983
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64.0 ?Size)
        (greaterThan ?Size 2.0)))
Geography.kif 6953-6960
(=>
    (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 17364-17372
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2.0 ?Size)
        (greaterThan ?Size 0.062)))
Geography.kif 4297-4305
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))
Geography.kif 4320-4328

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


(=>
    (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 2802-2814
(=>
    (instance ?HR HeavyRaining)
    (holdsDuring
        (WhenFn ?HR)
        (exists (?AREA)
            (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 1108-1122
(=>
    (instance ?RAIN Raining)
    (exists (?CLTN ?R)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (defaultMinimumSphereRadius ?R
                (MeasureFn 0.1 Millimeter))
            (defaultMaximumSphereRadius ?R
                (MeasureFn 9.0 Millimeter)))))
Weather.kif 1057-1069

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


(caliber GAU12U
    (MeasureFn 25.0 Millimeter))
MilitaryDevices.kif 316-317 25.0 Millimeter(s) is a caliber of GAU12U
(caliber M240
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 393-394 7.62 Millimeter(s) is a caliber of m240
(caliber M242
    (MeasureFn 25.0 Millimeter))
MilitaryDevices.kif 282-283 25.0 Millimeter(s) is a caliber of m242
(caliber M2Browning
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 497-498 12.7 Millimeter(s) is a caliber of m2 browning
(caliber M3M
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 574-575 12.7 Millimeter(s) is a caliber of M3M
(caliber M60
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 433-434 7.62 Millimeter(s) is a caliber of m60
(caliber MK19
    (MeasureFn 40.0 Millimeter))
MilitaryDevices.kif 636-637 40.0 Millimeter(s) is a caliber of Mk19
(caliber SMAWBunkerBuster
    (MeasureFn 83.0 Millimeter))
MilitaryDevices.kif 828-829 83.0 Millimeter(s) is a caliber of SMAW bunker buster
(caliber XM218
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 531-532 12.7 Millimeter(s) is a caliber of XM218
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6693-6696 A real number millimeter(s) is equal to the real number and 0.001 meter(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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