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 6093-6095
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6090-6090 The number 1 argument of milli is an instance of unit of measure
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6089-6089 Milli is an instance of UnitOfMeasureMultiplier
(range MilliFn UnitOfMeasure) Merge.kif 6091-6091 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 "千分之一函数" is the printable form of milli in ChineseLanguage
(termFormat ChineseLanguage MilliFn "毫") domainEnglishFormat.kif 37723-37723 "毫" is the printable form of milli in ChineseLanguage
(termFormat ChineseTraditionalLanguage MilliFn "毫") domainEnglishFormat.kif 37722-37722 "毫" is the printable form of milli in ChineseTraditionalLanguage
(termFormat EnglishLanguage MilliFn "milli") domainEnglishFormat.kif 37721-37721 "milli" is the printable form of milli in english language

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
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6097-6101

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 1700-1700 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 1705-1705 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners