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 6179-6181
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6176-6176 domain MilliFn, 1 and UnitOfMeasure
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6175-6175 instance MilliFn and UnitOfMeasureMultiplier
(range MilliFn UnitOfMeasure) Merge.kif 6177-6177 range MilliFn and UnitOfMeasure

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
(termFormat ChineseLanguage MilliFn "毫") domainEnglishFormat.kif 37699-37699
(termFormat ChineseTraditionalLanguage MilliFn "毫") domainEnglishFormat.kif 37698-37698
(termFormat EnglishLanguage MilliFn "milli") domainEnglishFormat.kif 37697-37697

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 6183-6187

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 1706-1706 lethalDose Diacetoxyscirpenol and PerFn MeasureFn 23 and MilliFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1711-1711 lethalDose T2Toxin and PerFn MeasureFn 5.2 and MilliFn Gram and MeasureFn 1 and KiloFn Gram


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