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 6528-6530
(documentation MilliFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の .001 単位に等しい UnitOfMeasureUnitOfMeasure をマップする。例:(MilliFn Gram) は .001 Grams である。") japanese_format.kif 1144-1146
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6525-6525 The number 1 argument of milli is an instance of unit of measure
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6524-6524 Milli is an instance of unit of measure multiplier
(range MilliFn UnitOfMeasure) Merge.kif 6526-6526 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
(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
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6532-6536

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 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 1845-1845 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


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