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 6486-6488
(documentation MegaFn JapaneseLanguage "UnaryFunctionは、元の UnitOfMeasure の 1,000,000 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。　例：(MegaFn Hertz) は 1,000,000 Hertz である。")	japanese_format.kif 1135-1137
(domain MegaFn 1 UnitOfMeasure)	Merge.kif 6483-6483	百万倍函数的 1 数量是测量单位的 instance
(instance MegaFn UnitOfMeasureMultiplier)	Merge.kif 6482-6482	百万倍函数是 UnitOfMeasureMultiplier 的 instance
(range MegaFn UnitOfMeasure)	Merge.kif 6484-6484	百万倍函数的 range 是测量单位的实例

appearance as argument number 2

(format ChineseLanguage MegaFn "%1 的一百万倍")	chinese_format.kif 637-637
(format EnglishLanguage MegaFn "1 million %1s")	english_format.kif 640-640
(format FrenchLanguage MegaFn "1 million %1s")	french_format.kif 385-385
(format ItalianLanguage MegaFn "1 milione %1s")	relations-it.txt 181-181
(format JapaneseLanguage MegaFn "1 の million %1s")	japanese_format.kif 2115-2115
(format PortugueseLanguage MegaFn "1 milhao %1s")	portuguese_format.kif 337-337
(format de MegaFn "1 million %1")	relations-de.txt 833-833
(format hi MegaFn "dasa laakha %1")	relations-hindi.txt 219-219
(format ro MegaFn "1 million%t{milion} de %1")	relations-ro.kif 407-407
(format sv MegaFn "1 miljon %1s")	relations-sv.txt 428-428
(format tg MegaFn "1 milyon ang mga %1")	relations-tg.txt 357-357
(termFormat ChineseLanguage MegaFn "兆")	domainEnglishFormat.kif 36935-36935
(termFormat ChineseLanguage MegaFn "百万倍函数")	chinese_format.kif 638-638
(termFormat ChineseTraditionalLanguage MegaFn "兆")	domainEnglishFormat.kif 36934-36934
(termFormat EnglishLanguage MegaFn "mega")	domainEnglishFormat.kif 36933-36933

antecedent

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

Merge.kif 6490-6494

如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的一百万倍，
然后 1 那个另外测量单位 equal 1000000 那个测量单位

statement

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

Economy.kif 2008-2008

1 千瓦时 equal 3.6 焦耳的一百万倍

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

KB Term:			Term intersection

English Word: