Micrometer - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Micrometer "微米")	Geography.kif 7095-7095
(termFormat EnglishLanguage Micrometer "micrometer")	Geography.kif 7093-7093

antecedent

(<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet))	Geography.kif 7524-7530	自己接続オブジェクトは LiquidDrop の instance では %n approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 500.0 は実数より less では %n 自己接続オブジェクトは Droplet の instance では %n
(<=> (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 7440-7451	オブジェクトは ParticulateMatter の instance では %n 自己接続オブジェクトはオブジェクトの part では %n approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 10.0 は実数より greater では　%n 実数は 2.5 より greater では　%n オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では %n オブジェクト10 はオブジェクトの part では %n
(<=> (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 7469-7479	オブジェクトは ParticulateMatter の instance では %n 自己接続オブジェクトはオブジェクトの part では %n approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 実数は 2.5 greater では　%n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %n オブジェクト25 はオブジェクトの part では %n

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 7413-7422

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

statement

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

Geography.kif 7097-7100

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

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: