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
NanoFn
Sigma KEE - NanoFn
NanoFn
appearance as argument number 1
(
documentation
NanoFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
UnitOfMeasure
联系 都等于原本
UnitOfMeasure
1,000,000,000之一的
UnitOfMeasure
上。 例如: (
MicroFn
SecondDuration
) 是 .000000001
SecondDuration
s。")
chinese_format.kif 2458-2460
(
documentation
NanoFn
EnglishLanguage
"A
UnaryFunction
that maps a
UnitOfMeasure
into a
UnitOfMeasure
that is equal to .000000001 units of the original
UnitOfMeasure
. For example, (
MicroFn
SecondDuration
) is .000000001
SecondDuration
s.")
Merge.kif 6556-6559
(
documentation
NanoFn
JapaneseLanguage
"
UnaryFunction
は、元の
UnitOfMeasure
の .000000001単位に等しい
UnitOfMeasure
に
UnitOfMeasure
をマップする。 例:(MF SD) は .000000000SD である。")
japanese_format.kif 1150-1152
(
domain
NanoFn
1
UnitOfMeasure
)
Merge.kif 6553-6553
Il numero 1 argomenti di
NanoFn
è un
istanza
di
Unit�DiMisura
(
instance
NanoFn
UnitOfMeasureMultiplier
)
Merge.kif 6552-6552
NanoFn
è un'
istanza
di
UnitOfMeasureMultiplier
(
range
NanoFn
UnitOfMeasure
)
Merge.kif 6554-6554
rango
di
NanoFn
è un'istanza di
Unit�DiMisura
appearance as argument number 2
(
format
ChineseLanguage
NanoFn
"%1 的十亿分之一")
chinese_format.kif 647-647
(
format
EnglishLanguage
NanoFn
"one billionth of a %1")
english_format.kif 650-650
(
format
FrenchLanguage
NanoFn
"un billioni�me de %1")
french_format.kif 390-390
(
format
ItalianLanguage
NanoFn
"un miliardesimo di un %1")
relations-it.txt 198-198
(
format
JapaneseLanguage
NanoFn
"1 の billionth %1")
japanese_format.kif 2120-2120
(
format
PortugueseLanguage
NanoFn
"um bilhonesimo de %1")
portuguese_format.kif 342-342
(
format
de
NanoFn
"ein milliardstel einer %1")
relations-de.txt 845-845
(
format
hi
NanoFn
"%1 kaa eka arabavaan")
relations-hindi.txt 236-236
(
format
ro
NanoFn
"o billionth%t{bilionime} dintr-un(o) %1")
relations-ro.kif 412-412
(
format
sv
NanoFn
"en miljarddel av %1")
relations-sv.txt 433-433
(
termFormat
ChineseLanguage
NanoFn
"十亿分之一函数")
chinese_format.kif 648-648
(
termFormat
ChineseLanguage
NanoFn
"奈米")
domainEnglishFormat.kif 39695-39695
(
termFormat
ChineseTraditionalLanguage
NanoFn
"奈米")
domainEnglishFormat.kif 39694-39694
(
termFormat
EnglishLanguage
NanoFn
"nano")
domainEnglishFormat.kif 39693-39693
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?NANOUNIT
(
NanoFn
?UNIT)))
(
equal
(
MeasureFn
1 ?NANOUNIT)
(
MeasureFn
0.000000001 ?UNIT)))
Merge.kif 6561-6565
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Unit�DiMisura
is
uguale
a un
miliardesimo
di un
Unit�DiMisura
1
Unit�DiMisura
(s is
uguale
a 0.000000001
Unit�DiMisura
(s
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