Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Micrometer

 Sigma KEE - Micrometer
Micrometer(micrometer)micrometer, micron

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))))		 Geography.kif 9014-9023 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