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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PicoFn

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 6570-6573
(documentation PicoFn JapaneseLanguage "UnaryFunction は、元の UOM の .0000000000001 単位 に等しい UnitOfMeasureUnitOfMeasure をマップする。例:(PicoFn SecondDuration) は .0000000000000SD である。") japanese_format.kif 1153-1155
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6567-6567 The number 1 argument of pico is an instance of unit of measure
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6566-6566 Pico is an instance of unit of measure multiplier
(range PicoFn UnitOfMeasure) Merge.kif 6568-6568 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 45780-45780
(termFormat ChineseTraditionalLanguage PicoFn "皮可") domainEnglishFormat.kif 45779-45779
(termFormat EnglishLanguage PicoFn "pico") domainEnglishFormat.kif 45778-45778

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


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


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

Show without tree


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