TreeView Knowledge Base Browser

appearance as argument number 1

(instance NanoFn UnitOfMeasureMultiplier)	Merge.kif 6670-6670	Nano is an instance of unit of measure multiplier
(domain NanoFn 1 UnitOfMeasure)	Merge.kif 6671-6671	The number 1 argument of nano is an instance of unit of measure
(range NanoFn UnitOfMeasure)	Merge.kif 6672-6672	The range of nano is an instance of unit of measure
(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 6674-6677	The range of nano is an instance of unit of measure

appearance as argument number 2

(termFormat EnglishLanguage NanoFn "nano")	domainEnglishFormat.kif 39697-39697
(termFormat ChineseTraditionalLanguage NanoFn "奈米")	domainEnglishFormat.kif 39698-39698
(termFormat ChineseLanguage NanoFn "奈米")	domainEnglishFormat.kif 39699-39699
(format EnglishLanguage NanoFn "one billionth of a %1")	english_format.kif 650-650

antecedent

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

Merge.kif 6679-6683

If X is an instance of unit of measure and equal Y and one billionth of a X, then equal 1 Y(s) and 0.000000001 X(s)

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

KB Term:			Term intersection

English Word: