Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PicoFn
PicoFn

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners