TreeView Knowledge Base Browser

appearance as argument number 1

(instance PicoFn UnitOfMeasureMultiplier)	Merge.kif 6685-6685	Pico is an instance of unit of measure multiplier
(domain PicoFn 1 UnitOfMeasure)	Merge.kif 6686-6686	The number 1 argument of pico is an instance of unit of measure
(range PicoFn UnitOfMeasure)	Merge.kif 6687-6687	The range of pico is an instance of unit of measure
(documentation PicoFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000000000001 units of the original UnitOfMeasure. For example, (PicoFn SecondDuration) is .000000000001 SecondDurations.")	Merge.kif 6689-6692	The range of pico is an instance of unit of measure

appearance as argument number 2

(termFormat EnglishLanguage PicoFn "pico")	domainEnglishFormat.kif 45773-45773
(termFormat ChineseTraditionalLanguage PicoFn "皮可")	domainEnglishFormat.kif 45774-45774
(termFormat ChineseLanguage PicoFn "皮可")	domainEnglishFormat.kif 45775-45775
(format EnglishLanguage PicoFn "one trillionth of a %1")	english_format.kif 652-652

antecedent

(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))

Merge.kif 6694-6698

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

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

KB Term:			Term intersection

English Word: