MilliFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance MilliFn UnitOfMeasureMultiplier)	Merge.kif 6642-6642	Milli is an instance of unit of measure multiplier
(domain MilliFn 1 UnitOfMeasure)	Merge.kif 6643-6643	The number 1 argument of milli is an instance of unit of measure
(range MilliFn UnitOfMeasure)	Merge.kif 6644-6644	The range of milli is an instance of unit of measure
(documentation MilliFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .001 units of the original UnitOfMeasure. For example, (MilliFn Gram) is .001 Grams.")	Merge.kif 6646-6648	The range of milli is an instance of unit of measure

appearance as argument number 2

(termFormat EnglishLanguage MilliFn "milli")	domainEnglishFormat.kif 37799-37799
(termFormat ChineseTraditionalLanguage MilliFn "毫")	domainEnglishFormat.kif 37800-37800
(termFormat ChineseLanguage MilliFn "毫")	domainEnglishFormat.kif 37801-37801
(format EnglishLanguage MilliFn "one thousandth of a %1")	english_format.kif 646-646

antecedent

(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT)))	Merge.kif 6650-6654	If X is an instance of unit of measure and equal Y and one thousandth of a X, then equal 1 Y(s) and 0.001 X(s)
(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 2773-2780	If tropical climate zone is a climate type in area of X, Y is an instance of month, X average rainfall for period Y for Z one thousandth of a meter(s), and Z is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of X

consequent

(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))

If wet tropical climate zone is a climate type in area of X, then For all Month Y and RealNumber Z: X average rainfall for period Y for Z one thousandth of a meter(s) and Z is greater than or equal to 60.0

statement

(equal (MeasureFn ?X Milliradian) (MeasureFn ?X (MilliFn Radian)))	MilitaryDevices.kif 329-332	equal X milliradian(s) and X one thousandth of a radian(s)
(lethalDose Diacetoxyscirpenol (PerFn (MeasureFn 23.0 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1836-1836	The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
(lethalDose T2Toxin (PerFn (MeasureFn 5.2 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1841-1841	The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin