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 6334-6335
(instance Millimeter UnitOfLength) Merge.kif 6337-6337 instance Millimeter and UnitOfLength

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


(termFormat ChineseLanguage Millimeter "毫米") domainEnglishFormat.kif 37729-37729 termFormat ChineseLanguage, Millimeter and "毫米"
(termFormat ChineseTraditionalLanguage Millimeter "毫米") domainEnglishFormat.kif 37728-37728 termFormat ChineseTraditionalLanguage, Millimeter and "毫米"
(termFormat EnglishLanguage Millimeter "millimeter") domainEnglishFormat.kif 37727-37727 termFormat EnglishLanguage, Millimeter and "millimeter"

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


(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256))		 Geography.kif 6649-6654
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256 ?Size)
        (greaterThan ?Size 64)))		 Geography.kif 6626-6633
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64 ?Size)
        (greaterThan ?Size 2)))		 Geography.kif 6603-6610
(=>
    (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 15668-15676
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2 ?Size)
        (greaterThan ?Size 0.062)))		 Geography.kif 4154-4162
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))		 Geography.kif 4177-4185

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 1311-1323
(=>
    (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 720-734
(=>
    (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 669-681

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


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


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