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 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	千分之一函数的 1 数量是测量单位的 instance
(instance MilliFn UnitOfMeasureMultiplier)	Merge.kif 6524-6524	千分之一函数是 UnitOfMeasureMultiplier 的 instance
(range MilliFn UnitOfMeasure)	Merge.kif 6526-6526	千分之一函数的 range 是测量单位的实例

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 37799-37799
(termFormat ChineseTraditionalLanguage MilliFn "毫")	domainEnglishFormat.kif 37798-37798
(termFormat EnglishLanguage MilliFn "milli")	domainEnglishFormat.kif 37797-37797

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	如果热带气候区是地理区域地区的 climate 类别和月是月的 instance 和那个地理区域对于实数仪表的千分之一在那个月周期的 average 降雨量和那个实数是 greaterThanOrEqualTo 60.0，然后湿热带气候区是那个地理区域地区的 climate 类别
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT)))	Merge.kif 6532-6536	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的千分之一，然后 1 那个另外测量单位 equal 0.001 那个测量单位

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	1.0 公克的一千倍是 23.0 公克的千分之一的 per 是二乙酯scirpenol 的 lethal 剂量
(lethalDose T2Toxin (PerFn (MeasureFn 5.2 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1845-1845	1.0 公克的一千倍是 5.2 公克的千分之一的 per 是 t2毒素的 lethal 剂量