Micrometer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Micrometer EnglishLanguage "Submultiple of Metre. Symbol:µm. It is a unit of length in the metric system, equal to one million of a metre.")	Geography.kif 8750-8751
(documentation Micrometer ChineseLanguage "这是米的约数，符号：µm。1微米是1000000分之一米。")	Geography.kif 8753-8753
(instance Micrometer UnitOfLength)	Geography.kif 8755-8755	Micrometer is an instance of unit of length

appearance as argument number 2

(termFormat EnglishLanguage Micrometer "micrometer")	Geography.kif 8757-8757
(termFormat ChineseLanguage Micrometer "微米")	Geography.kif 8759-8759

antecedent

(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10.0 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM))))	Geography.kif 9041-9052	X is an instance of PM and Y is a part of X and the approximate diameter of Y is Z micrometer(s) and 10.0 is greater than Z and Z is greater than 2.5 if and only if there exists W such that W is an instance of PM10 and W is a part of X
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM))))	Geography.kif 9070-9080	X is an instance of PM and Y is a part of X and the approximate diameter of Y is Z micrometer(s) and Z is greater than or equal to 2.5 if and only if there exists W such that W is an instance of PM2.5 and W is a part of X
(<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet))	Geography.kif 9125-9131	X is an instance of liquid drop and the approximate diameter of X is Y micrometer(s) and 500.0 is less than Y if and only if X is an instance of droplet

consequent

(=>
    (instance ?PM ParticulateMatter)
    (exists (?P ?ATMOSPHERE ?S)
        (and
            (instance ?ATMOSPHERE AtmosphericRegion)
            (located ?PM ?ATMOSPHERE)
            (part ?P ?PM)
            (approximateDiameter ?P
                (MeasureFn ?S Micrometer))
            (greaterThan 1000.0 ?S))))

If X is an instance of PM, then there exist Y, Z and W such that Z is an instance of atmospheric region and X is located at Z and Y is a part of X and the approximate diameter of Y is W micrometer(s) and 1000.0 is greater than W

statement

(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))

equal X micrometer(s) and X and 0.0000001 meter(s)