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 6222-6224
(domain MilliFn 1 UnitOfMeasure)	Merge.kif 6219-6219	The number 1 argument of milli is an instance of unit of measure
(instance MilliFn UnitOfMeasureMultiplier)	Merge.kif 6218-6218	Milli is an instance of UnitOfMeasureMultiplier
(range MilliFn UnitOfMeasure)	Merge.kif 6220-6220	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 649-649
(termFormat ChineseLanguage MilliFn "千分之一函数")	chinese_format.kif 644-644
(termFormat ChineseLanguage MilliFn "毫")	domainEnglishFormat.kif 37729-37729
(termFormat ChineseTraditionalLanguage MilliFn "毫")	domainEnglishFormat.kif 37728-37728
(termFormat EnglishLanguage MilliFn "milli")	domainEnglishFormat.kif 37727-37727

antecedent

(=> (and (instance ?AREA TropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) (instance ?AREA WetTropicalClimateZone))	Geography.kif 1300-1307	If a geographic area is an instance of tropical climate zone and for all a month and a length measure if the geographic area average rainfall for period the month for the length measure, then the length measure is greater than or equal to 60 one thousandth of a meter(s) , then the geographic area is an instance of wet tropical climate zone
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT)))	Merge.kif 6226-6230	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

(=>
    (instance ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (=>
            (averageRainfallForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThanOrEqualTo ?AMOUNT
                (MeasureFn 60
                    (MilliFn Meter))))))

Geography.kif 1309-1314

statement

(lethalDose Diacetoxyscirpenol (PerFn (MeasureFn 23 (MilliFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 1706-1706	The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
(lethalDose T2Toxin (PerFn (MeasureFn 5.2 (MilliFn Gram)) (MeasureFn 1 (KiloFn Gram))))	WMD.kif 1711-1711	The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin