Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
SecondDuration
s.")
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
SecondDuration
s.")
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
(
instance
PicoFn
UnitOfMeasureMultiplier
)
Merge.kif 6567-6567
(
range
PicoFn
UnitOfMeasure
)
Merge.kif 6569-6569
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 45782-45782
(
termFormat
ChineseTraditionalLanguage
PicoFn
"皮可")
domainEnglishFormat.kif 45781-45781
(
termFormat
EnglishLanguage
PicoFn
"pico")
domainEnglishFormat.kif 45780-45780
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?PICOUNIT
(
PicoFn
?UNIT)))
(
equal
(
MeasureFn
1 ?PICOUNIT)
(
MeasureFn
0.000000000001 ?UNIT)))
Merge.kif 6576-6580
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