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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Millimeter

Sigma KEE - Millimeter
Millimeter

appearance as argument number 1
-------------------------


(documentation Millimeter ChineseLanguage "这是米的约数,符号:mm。1毫米是1000分之一米。") Merge.kif 7002-7002
(documentation Millimeter EnglishLanguage "Submultiple of Meter. Symbol: mm. A millimeter is the 1000th part of a meter") Merge.kif 7000-7001
(instance Millimeter UnitOfLength) Merge.kif 7003-7003

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


(termFormat EnglishLanguage Millimeter "millimeter") domainEnglishFormat.kif 6721-6721

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


(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256))
Geography.kif 6664-6669
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256 ?Size)
        (greaterThan ?Size 64)))
Geography.kif 6641-6648
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64 ?Size)
        (greaterThan ?Size 2)))
Geography.kif 6618-6625
(=>
    (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 15646-15654
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2 ?Size)
        (greaterThan ?Size 0.062)))
Geography.kif 4142-4150
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))
Geography.kif 4165-4173

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


(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X MiniSizeDisc))
    (width ?X
        (MeasureFn 80 Millimeter)))
Media.kif 1247-1252
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X StandardSizeDisc))
    (width ?X
        (MeasureFn 120 Millimeter)))
Media.kif 1234-1239
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?RAIN ?CLTN ?R ?SIZE)
        (and
            (instance ?RAIN Raining)
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 1214-1227
(=>
    (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)
                (greaterThan 50 ?NUM)))))
Weather.kif 721-735
(=>
    (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 Millimeter)))))
Weather.kif 670-682

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


(caliber GAU12U
    (MeasureFn 25 Millimeter))
MilitaryDevices.kif 315-316
(caliber M240
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 392-393
(caliber M242
    (MeasureFn 25 Millimeter))
MilitaryDevices.kif 281-282
(caliber M2Browning
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 496-497
(caliber M3M
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 573-574
(caliber M60
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 432-433
(caliber MK19
    (MeasureFn 40 Millimeter))
MilitaryDevices.kif 635-636
(caliber SMAWBunkerBuster
    (MeasureFn 83 Millimeter))
MilitaryDevices.kif 827-828
(caliber XM218
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 530-531
(defaultMaximumHeight MortarGun
    (MeasureFn 300 Millimeter))
DimensioningAmenities.kif 1003-1003
(defaultMaximumSphereRadius ShotBall
    (MeasureFn 72.5 Millimeter))
DimensioningAmenities.kif 889-889
(defaultMaximumWidth MortarGun
    (MeasureFn 300 Millimeter))
DimensioningAmenities.kif 1005-1005
(defaultMinimumHeight Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 781-781
(defaultMinimumHeight MortarGun
    (MeasureFn 40 Millimeter))
DimensioningAmenities.kif 1002-1002
(defaultMinimumLength Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 785-785
(defaultMinimumSphereRadius ShotBall
    (MeasureFn 50 Millimeter))
DimensioningAmenities.kif 888-888
(defaultMinimumWidth Battery
    (MeasureFn 5 Millimeter))
DimensioningAmenities.kif 783-783
(defaultMinimumWidth MortarGun
    (MeasureFn 40 Millimeter))
DimensioningAmenities.kif 1004-1004
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 7005-7008


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners