Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PicoFn
PicoFn

appearance as argument number 1
-------------------------


(documentation PicoFn ChineseLanguage "这是一个 UnaryFunction,它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000,000,000,000之一的 UnitOfMeasure 上。 例如: (PicoFn SecondDuration) 是 .000000000001 SecondDurations.") chinese_format.kif 2461-2463
(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 6255-6258
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6252-6252 domain PicoFn, 1 and UnitOfMeasure
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6251-6251 instance PicoFn and UnitOfMeasureMultiplier
(range PicoFn UnitOfMeasure) Merge.kif 6253-6253 range PicoFn and UnitOfMeasure

appearance as argument number 2
-------------------------


(format ChineseLanguage PicoFn "%1 的万亿分之一") chinese_format.kif 649-649
(format EnglishLanguage PicoFn "one trillionth of a %1") english_format.kif 655-655
(termFormat ChineseLanguage PicoFn "万亿分之一函数") chinese_format.kif 650-650
(termFormat ChineseLanguage PicoFn "皮可") domainEnglishFormat.kif 45700-45700
(termFormat ChineseTraditionalLanguage PicoFn "皮可") domainEnglishFormat.kif 45699-45699
(termFormat EnglishLanguage PicoFn "pico") domainEnglishFormat.kif 45698-45698

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))
Merge.kif 6260-6264


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 is open source software produced by Articulate Software and its partners