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
TeraFn
Sigma KEE - TeraFn
TeraFn
appearance as argument number 1
(
documentation
TeraFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
UnitOfMeasure
联系 都等于原本
UnitOfMeasure
1,000,000,000,000倍的
UnitOfMeasure
上。 例如:(
TeraFn
Hertz
) 是 1,000,000,000,000
Hertz
.")
chinese_format.kif 2449-2451
(
documentation
TeraFn
EnglishLanguage
"A
UnaryFunction
that maps a
UnitOfMeasure
into a
UnitOfMeasure
that is equal to 1,000,000,000,000 units of the original
UnitOfMeasure
. For example, (
TeraFn
Hertz
) is 1,000,000,000,000
Hertz
.")
Merge.kif 6514-6516
(
documentation
TeraFn
JapaneseLanguage
"
UnaryFunction
は、元の
UnitOfMeasure
の 1,000,000,000,000単位に等しい
UnitOfMeasure
に
UnitOfMeasure
をマップする。 例: (
TeraFn
Hertz
) は 1,000,000,000,000,000
Hertz
である。")
japanese_format.kif 1141-1143
(
domain
TeraFn
1
UnitOfMeasure
)
Merge.kif 6511-6511
Il numero 1 argomenti di
TeraFn
è un
istanza
di
Unit�DiMisura
(
instance
TeraFn
UnitOfMeasureMultiplier
)
Merge.kif 6510-6510
TeraFn
è un'
istanza
di
UnitOfMeasureMultiplier
(
range
TeraFn
UnitOfMeasure
)
Merge.kif 6512-6512
rango
di
TeraFn
è un'istanza di
Unit�DiMisura
appearance as argument number 2
(
format
ChineseLanguage
TeraFn
"%1 的一万亿倍")
chinese_format.kif 641-641
(
format
EnglishLanguage
TeraFn
"1 trillion %1s")
english_format.kif 644-644
(
format
FrenchLanguage
TeraFn
"1 trillion %1s")
french_format.kif 387-387
(
format
ItalianLanguage
TeraFn
"1 trilione %1s")
relations-it.txt 297-297
(
format
JapaneseLanguage
TeraFn
"1 の trillion %1s")
japanese_format.kif 2117-2117
(
format
PortugueseLanguage
TeraFn
"1 trilhao %1s")
portuguese_format.kif 339-339
(
format
de
TeraFn
"1 trillion %1")
relations-de.txt 837-837
(
format
hi
TeraFn
"dasa kharaba %1")
relations-hindi.txt 333-333
(
format
ro
TeraFn
"1 trillion%t{trilion} de %1")
relations-ro.kif 409-409
(
format
sv
TeraFn
"1 biljon %1s")
relations-sv.txt 430-430
(
format
tg
TeraFn
"1 trilyon %1")
relations-tg.txt 489-489
(
termFormat
ChineseLanguage
TeraFn
"TERA")
domainEnglishFormat.kif 57514-57514
(
termFormat
ChineseLanguage
TeraFn
"一万亿倍函数")
chinese_format.kif 642-642
(
termFormat
ChineseTraditionalLanguage
TeraFn
"TERA")
domainEnglishFormat.kif 57513-57513
(
termFormat
EnglishLanguage
TeraFn
"tera")
domainEnglishFormat.kif 57512-57512
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?TERAUNIT
(
TeraFn
?UNIT)))
(
equal
(
MeasureFn
1 ?TERAUNIT)
(
MeasureFn
1000000000
(
KiloFn
?UNIT))))
Merge.kif 6518-6522
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Unit�DiMisura
is
uguale
a 1
trilione
Unit�DiMisura
s
1
Unit�DiMisura
(s is
uguale
a 1000000000 1
mille
Unit�DiMisura
s(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