Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilliFn

Sigma KEE - MilliFn
MilliFn

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 6494-6496
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6491-6491
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6490-6490
(range MilliFn UnitOfMeasure) Merge.kif 6492-6492

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 37783-37783
(termFormat ChineseTraditionalLanguage MilliFn "毫") domainEnglishFormat.kif 37782-37782
(termFormat EnglishLanguage MilliFn "milli") domainEnglishFormat.kif 37781-37781

antecedent
-------------------------


(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))
Geography.kif 1323-1330
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6498-6502

consequent
-------------------------


(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))
Geography.kif 1332-1339

statement
-------------------------


(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23.0
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1840-1840
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1845-1845


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners