TreeView Knowledge Base Browser

appearance as argument number 1

(documentation NanoFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系都等于原本 UnitOfMeasure 1,000,000,000之一的 UnitOfMeasure 上。例如： (MicroFn SecondDuration) 是 .000000001 SecondDurations。")	chinese_format.kif 2458-2460
(documentation NanoFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000000001 units of the original UnitOfMeasure. For example, (MicroFn SecondDuration) is .000000001 SecondDurations.")	Merge.kif 6555-6558
(documentation NanoFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の .000000001単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。例：(MF SD) は .000000000SD である。")	japanese_format.kif 1150-1152
(domain NanoFn 1 UnitOfMeasure)	Merge.kif 6552-6552	The number 1 argument of nano is an instance of unit of measure
(instance NanoFn UnitOfMeasureMultiplier)	Merge.kif 6551-6551	Nano is an instance of unit of measure multiplier
(range NanoFn UnitOfMeasure)	Merge.kif 6553-6553	The range of nano is an instance of unit of measure

appearance as argument number 2

(format ChineseLanguage NanoFn "%1 的十亿分之一")	chinese_format.kif 647-647
(format EnglishLanguage NanoFn "one billionth of a %1")	english_format.kif 650-650
(format FrenchLanguage NanoFn "un billioni�me de %1")	french_format.kif 390-390
(format ItalianLanguage NanoFn "un miliardesimo di un %1")	relations-it.txt 198-198
(format JapaneseLanguage NanoFn "1 の billionth %1")	japanese_format.kif 2120-2120
(format PortugueseLanguage NanoFn "um bilhonesimo de %1")	portuguese_format.kif 342-342
(format de NanoFn "ein milliardstel einer %1")	relations-de.txt 845-845
(format hi NanoFn "%1 kaa eka arabavaan")	relations-hindi.txt 236-236
(format ro NanoFn "o billionth%t{bilionime} dintr-un(o) %1")	relations-ro.kif 412-412
(format sv NanoFn "en miljarddel av %1")	relations-sv.txt 433-433
(termFormat ChineseLanguage NanoFn "十亿分之一函数")	chinese_format.kif 648-648
(termFormat ChineseLanguage NanoFn "奈米")	domainEnglishFormat.kif 39705-39705
(termFormat ChineseTraditionalLanguage NanoFn "奈米")	domainEnglishFormat.kif 39704-39704
(termFormat EnglishLanguage NanoFn "nano")	domainEnglishFormat.kif 39703-39703

antecedent

(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))

Merge.kif 6560-6564

If an unit of measure is an instance of unit of measure and another unit of measure is equal to one billionth of a the unit of measure,
then 1 the other unit of measure(s) is equal to 0.000000001 the unit of measure(s)

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

KB Term:			Term intersection

English Word: