MicroFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MicroFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系都等于原本 UnitOfMeasure 1,000,000之一的 UnitOfMeasure 上。例如：(MicroFn Meter)是 .000001 Meters.")	chinese_format.kif 2455-2457
(documentation MicroFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000001 units of the original UnitOfMeasure. For example, (MicroFn Meter) is .000001 Meters.")	Merge.kif 6236-6238
(domain MicroFn 1 UnitOfMeasure)	Merge.kif 6233-6233	The number 1 argument of micro is an instance of unit of measure
(instance MicroFn UnitOfMeasureMultiplier)	Merge.kif 6232-6232	Micro is an instance of UnitOfMeasureMultiplier
(range MicroFn UnitOfMeasure)	Merge.kif 6234-6234	The range of micro is an instance of unit of measure

appearance as argument number 2

(format ChineseLanguage MicroFn "%1 的百万分之一")	chinese_format.kif 645-645
(format EnglishLanguage MicroFn "one millionth of a %1")	english_format.kif 651-651
(termFormat ChineseLanguage MicroFn "微")	domainEnglishFormat.kif 37363-37363
(termFormat ChineseLanguage MicroFn "百万分之一函数")	chinese_format.kif 646-646
(termFormat ChineseTraditionalLanguage MicroFn "微")	domainEnglishFormat.kif 37362-37362
(termFormat EnglishLanguage MicroFn "micro")	domainEnglishFormat.kif 37361-37361

antecedent

(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))

Merge.kif 6240-6244

If an unit of measure is an instance of unit of measure and another unit of measure is equal to one millionth of a the unit of measure,
then 1 the other unit of measure(s) is equal to 0.000001 the unit of measure(s)

statement

(effectiveDose StaphylococcalEnterotoxinB (PerFn (MeasureFn 0.0004 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 1342-1342	The per of 0.0004 one millionth of a gram(s) and 1 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b
(lethalDose AbrinToxin (PerFn (MeasureFn 0.04 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 434-434	The per of 0.04 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of abrin toxin
(lethalDose Batrachotoxin (PerFn (MeasureFn 2.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 310-310	The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin
(lethalDose BotulinumToxin (PerFn (MeasureFn 0.001 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 325-325	The per of 0.001 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of botulinum toxin
(lethalDose RicinToxin (PerFn (MeasureFn 3.0 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 426-426	The per of 3.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of ricin toxin
(lethalDose Sarin (PerFn (MeasureFn 100.0 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 581-581	The per of 100.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of sarin
(lethalDose ShigaToxin (PerFn (MeasureFn 0.002 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 1257-1257	The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin
(lethalDose Soman (PerFn (MeasureFn 64.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 577-577	The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman
(lethalDose StaphylococcalEnterotoxinB (PerFn (MeasureFn 0.02 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 1343-1343	The per of 0.02 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b
(lethalDose VX (PerFn (MeasureFn 15.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 594-594	The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX

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: