MilliFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MilliFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系都等于原本 UnitOfMeasure 1,000之一的 UnitOfMeasure 上。例如：(MilliFn Gram) 是 .001 Grams。")	chinese_format.kif 2452-2454
(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 6528-6530
(documentation MilliFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の .001 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。例：(MilliFn Gram) は .001 Grams である。")	japanese_format.kif 1144-1146
(domain MilliFn 1 UnitOfMeasure)	Merge.kif 6525-6525	The number 1 argument of milli is an instance of unit of measure
(instance MilliFn UnitOfMeasureMultiplier)	Merge.kif 6524-6524	Milli is an instance of unit of measure multiplier
(range MilliFn UnitOfMeasure)	Merge.kif 6526-6526	The range of milli is an instance of unit of measure

appearance as argument number 2

(format ChineseLanguage MilliFn "%1 的千分之一")	chinese_format.kif 643-643
(format EnglishLanguage MilliFn "one thousandth of a %1")	english_format.kif 646-646
(format FrenchLanguage MilliFn "un milli�me de %1")	french_format.kif 388-388
(format ItalianLanguage MilliFn "unmillesimo di un %1")	relations-it.txt 187-187
(format JapaneseLanguage MilliFn "1 の thousandth %1")	japanese_format.kif 2118-2118
(format PortugueseLanguage MilliFn "um milesimo de %1")	portuguese_format.kif 340-340
(format de MilliFn "ein tausendstes einer %1")	relations-de.txt 839-839
(format ro MilliFn "o thousandth%t{miime} dintr-un(o) %1")	relations-ro.kif 410-410
(format sv MilliFn "en tusendel av %1")	relations-sv.txt 431-431
(termFormat ChineseLanguage MilliFn "千分之一函数")	chinese_format.kif 644-644
(termFormat ChineseLanguage MilliFn "毫")	domainEnglishFormat.kif 37828-37828
(termFormat ChineseTraditionalLanguage MilliFn "毫")	domainEnglishFormat.kif 37827-37827
(termFormat EnglishLanguage MilliFn "milli")	domainEnglishFormat.kif 37826-37826

antecedent

(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1316-1323	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of the geographic area
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT)))	Merge.kif 6532-6536	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one thousandth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.001 the unit of measure(s)

consequent

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

Geography.kif 1325-1332

statement

(lethalDose Diacetoxyscirpenol (PerFn (MeasureFn 23.0 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1840-1840	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 1845-1845	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