Micrometer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Micrometer ChineseLanguage "这是米的约数，符号：µm。1微米是1000000分之一米。")	Geography.kif 7255-7255
(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 7252-7253
(instance Micrometer UnitOfLength)	Geography.kif 7257-7257	Micrometer は UnitOfLength の instance では

appearance as argument number 2

(termFormat ChineseLanguage Micrometer "微米")	Geography.kif 7261-7261
(termFormat EnglishLanguage Micrometer "micrometer")	Geography.kif 7259-7259

antecedent

(<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet))	Geography.kif 7690-7696	自己接続オブジェクトは LiquidDrop の instance では approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 500.0 は実数より less では自己接続オブジェクトは Droplet の 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 7606-7617	オブジェクトは ParticulateMatter の instance では自己接続オブジェクトはオブジェクトの part では approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 10.0 は実数より greater では　実数は 2.5 より greater では　オブジェクト10 オブジェクト10 は CoarseParticulateMatter の 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 7635-7645	オブジェクトは ParticulateMatter の instance では自己接続オブジェクトはオブジェクトの part では approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 実数は 2.5 greater では　オブジェクト25 オブジェクト25 は FineParticulateMatter の 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 7579-7588

オブジェクトは ParticulateMatter の instance では
自己接続オブジェクトオブジェクト and 実数オブジェクトは AtmosphericRegion の instance ではオブジェクトはオブジェクトに located して自己接続オブジェクトはオブジェクトの part では approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 1000.0 は実数より greater では

statement

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

Geography.kif 7263-7266

実数の Micrometer(s) は実数 + 0.0000001 の Meter(s) と equal では

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: