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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6301-6303
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6298-6298 The number 1 argument of milli is an instance of unit of measure
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6297-6297 Milli is an instance of UnitOfMeasureMultiplier
(range MilliFn UnitOfMeasure) Merge.kif 6299-6299 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
        (instance ?AREA TropicalClimateZone)
        (forall (?MO ?AMOUNT)
            (=>
                (averageRainfallForPeriod ?AREA ?MO
                    (MeasureFn ?AMOUNT
                        (MilliFn Meter)))
                (greaterThanOrEqualTo ?AMOUNT 60))))
    (instance ?AREA WetTropicalClimateZone))
Geography.kif 1306-1314
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6305-6309

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


(=>
    (instance ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (=>
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60))))
Geography.kif 1316-1322

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


(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1811-1811 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 1816-1816 The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin


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



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