TreeView 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 6431-6433
(domain MilliFn 1 UnitOfMeasure)	Merge.kif 6428-6428	The number 1 argument of milli is an instance of unit of measure
(instance MilliFn UnitOfMeasureMultiplier)	Merge.kif 6427-6427	Milli is an instance of UnitOfMeasureMultiplier
(range MilliFn UnitOfMeasure)	Merge.kif 6429-6429	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
(termFormat ChineseLanguage MilliFn "千分之一函数")	chinese_format.kif 644-644
(termFormat ChineseLanguage MilliFn "毫")	domainEnglishFormat.kif 37788-37788
(termFormat ChineseTraditionalLanguage MilliFn "毫")	domainEnglishFormat.kif 37787-37787
(termFormat EnglishLanguage MilliFn "milli")	domainEnglishFormat.kif 37786-37786

antecedent

(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1321-1328	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 6435-6439	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 1330-1337

statement

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