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 6222-6225
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6219-6219 domain PicoFn, 1 and UnitOfMeasure
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6218-6218 instance PicoFn and UnitOfMeasureMultiplier
(range PicoFn UnitOfMeasure) Merge.kif 6220-6220 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 45679-45679
(termFormat ChineseTraditionalLanguage PicoFn "皮可") domainEnglishFormat.kif 45678-45678
(termFormat EnglishLanguage PicoFn "pico") domainEnglishFormat.kif 45677-45677

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners