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。") Merge.kif 6697-6699
(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 6694-6696
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6692-6692
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6691-6691
(range MilliFn UnitOfMeasure) Merge.kif 6693-6693

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 399-399
(termFormat ChineseLanguage MilliFn "千分之一函数") chinese_format.kif 644-644
(termFormat EnglishLanguage MilliFn "milli") domainEnglishFormat.kif 6720-6720

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


(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (forall (?MO ?AMOUNT)
            (=>
                (averageRainfallForPeriod ?AREA ?MO ?AMOUNT)
                (greaterThanOrEqualTo ?AMOUNT
                    (MeasureFn 60
                        (MilliFn Meter))))))
    (instance ?AREA WetTropicalClimateZone))
Geography.kif 1288-1295
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6701-6705

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


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

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


(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1689-1689
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1694-1694


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