TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MegaFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系都等于原本 UnitOfMeasure 1,000,000倍的 UnitOfMeasure 上。例如：(MegaFn Hertz)是 1,000,000 Hertz。")	chinese_format.kif 2443-2445
(documentation MegaFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000,000 units of the original UnitOfMeasure. For example, (MegaFn Hertz) is 1,000,000 Hertz.")	Merge.kif 6147-6149
(domain MegaFn 1 UnitOfMeasure)	Merge.kif 6144-6144	The number 1 argument of mega is an instance of unit of measure
(instance MegaFn UnitOfMeasureMultiplier)	Merge.kif 6143-6143	Mega is an instance of UnitOfMeasureMultiplier
(range MegaFn UnitOfMeasure)	Merge.kif 6145-6145	The range of mega is an instance of unit of measure

appearance as argument number 2

(format ChineseLanguage MegaFn "%1 的一百万倍")	chinese_format.kif 637-637
(format EnglishLanguage MegaFn "1 million %1s")	english_format.kif 643-643
(termFormat ChineseLanguage MegaFn "兆")	domainEnglishFormat.kif 36835-36835
(termFormat ChineseLanguage MegaFn "百万倍函数")	chinese_format.kif 638-638
(termFormat ChineseTraditionalLanguage MegaFn "兆")	domainEnglishFormat.kif 36834-36834
(termFormat EnglishLanguage MegaFn "mega")	domainEnglishFormat.kif 36833-36833

antecedent

(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))

Merge.kif 6151-6155

If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 million the unit of measures,
then 1 the other unit of measure(s) is equal to 1000000 the unit of measure(s)

statement

(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))

Economy.kif 2012-2012

1 Kilowatt hour(s) is equal to 3.6 1 million joules(s)

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

KB Term:			Term intersection

English Word: