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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Micrometer
Micrometer(微米)

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


(documentation Micrometer ChineseLanguage "这是米的约数,符号:µm。1微米是1000000分之一米。") Geography.kif 6777-6777
(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 6774-6775
(instance Micrometer UnitOfLength) Geography.kif 6779-6779 微米UnitOfLengthinstance

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


(termFormat ChineseLanguage Micrometer "微米") Geography.kif 6783-6783
(termFormat EnglishLanguage Micrometer "micrometer") Geography.kif 6781-6781

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))
Geography.kif 7240-7246 自身连接物体液体滴instance 和 1 的 approximate diameter 是 %2 和 500.0 是 lessThan 实数 若且唯若 那个 自身连接物体小滴液体instance
(<=>
    (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 7156-7167 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
(<=>
    (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 7185-7195 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part

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 7129-7138