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 6504-6505
(instance Millimeter UnitOfLength) Merge.kif 6507-6507

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


(termFormat ChineseLanguage Millimeter "毫米") domainEnglishFormat.kif 37801-37801
(termFormat ChineseTraditionalLanguage Millimeter "毫米") domainEnglishFormat.kif 37800-37800
(termFormat EnglishLanguage Millimeter "millimeter") domainEnglishFormat.kif 37799-37799

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


(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256))
Geography.kif 6839-6844
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256 ?Size)
        (greaterThan ?Size 64)))
Geography.kif 6816-6823
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64 ?Size)
        (greaterThan ?Size 2)))
Geography.kif 6793-6800
(=>
    (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 15704-15712
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2 ?Size)
        (greaterThan ?Size 0.062)))
Geography.kif 4213-4221
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))
Geography.kif 4236-4244

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 (?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 2796-2808
(=>
    (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 1109-1123
(=>
    (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 1058-1070

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


(caliber GAU12U
    (MeasureFn 25 Millimeter))
MilitaryDevices.kif 316-317
(caliber M240
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 393-394
(caliber M242
    (MeasureFn 25 Millimeter))
MilitaryDevices.kif 282-283
(caliber M2Browning
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 497-498
(caliber M3M
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 574-575
(caliber M60
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 433-434
(caliber MK19
    (MeasureFn 40 Millimeter))
MilitaryDevices.kif 636-637
(caliber SMAWBunkerBuster
    (MeasureFn 83 Millimeter))
MilitaryDevices.kif 828-829
(caliber XM218
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 531-532
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6509-6512


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