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 6411-6411
(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 6408-6409
(instance Micrometer UnitOfLength) Geography.kif 6413-6413 instance Micrometer and UnitOfLength

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


(termFormat ChineseLanguage Micrometer "微米") Geography.kif 6417-6417 termFormat ChineseLanguage, Micrometer and "微米"
(termFormat EnglishLanguage Micrometer "micrometer") Geography.kif 6415-6415 termFormat EnglishLanguage, Micrometer and "micrometer"

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6874-6880 instance 自己接続オブジェクト and LiquidDrop approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer lessThan 500 and 実数 instance 自己接続オブジェクト and Droplet
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 6790-6801 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThan 10 and 実数 greaterThan 実数 and 2.5 オブジェクト0 instance オブジェクト0 and CoarseParticulateMatter part オブジェクト0 and オブジェクト
(<=>
    (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 6819-6829 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThanOrEqualTo 実数 and 2.5 オブジェクト5 instance オブジェクト5 and FineParticulateMatter part オブジェクト5 and オブジェクト

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 ?S))))
Geography.kif 6763-6772