| 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 6571-6574 | |
| (documentation PicoFn JapaneseLanguage "UnaryFunction は、元の UOM の .0000000000001 単位 に等しい UnitOfMeasure に UnitOfMeasure をマップする。例：(PicoFn SecondDuration) は .0000000000000SD である。") | japanese_format.kif 1153-1155 | |
| (domain PicoFn 1 UnitOfMeasure) | Merge.kif 6568-6568 | The number 1 argument of pico is an instance of unit of measure |
| (instance PicoFn UnitOfMeasureMultiplier) | Merge.kif 6567-6567 | Pico is an instance of unit of measure multiplier |
| (range PicoFn UnitOfMeasure) | Merge.kif 6569-6569 | The range of pico is an instance of unit of measure |
| 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 652-652 | |
| (format FrenchLanguage PicoFn "un trillioni�me de un %1") | french_format.kif 391-391 | |
| (format ItalianLanguage PicoFn "un trilionesimo di un %1") | relations-it.txt 222-222 | |
| (format JapaneseLanguage PicoFn "1 の trillionth %1") | japanese_format.kif 2121-2121 | |
| (format PortugueseLanguage PicoFn "um trilhonesimo de um %1") | portuguese_format.kif 343-343 | |
| (format de PicoFn "ein trillionstel einer %1") | relations-de.txt 848-848 | |
| (format hi PicoFn "%1 kaa dasa kharabavaan") | relations-hindi.txt 260-260 | |
| (format ro PicoFn "o trillionth%t{trilionime} dintr-un(o) %1") | relations-ro.kif 413-413 | |
| (format sv PicoFn "en biljondel av %1") | relations-sv.txt 434-434 | |
| (termFormat ChineseLanguage PicoFn "万亿分之一函数") | chinese_format.kif 650-650 | |
| (termFormat ChineseLanguage PicoFn "皮可") | domainEnglishFormat.kif 45818-45818 | |
| (termFormat ChineseTraditionalLanguage PicoFn "皮可") | domainEnglishFormat.kif 45817-45817 | |
| (termFormat EnglishLanguage PicoFn "pico") | domainEnglishFormat.kif 45816-45816 |
| antecedent |
|
|
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?PICOUNIT (PicoFn ?UNIT))) (equal (MeasureFn 1 ?PICOUNIT) (MeasureFn 0.000000000001 ?UNIT))) |
Merge.kif 6576-6580 |
|
|
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