Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
MegaFn
Sigma KEE - MegaFn
MegaFn
appearance as argument number 1
(
documentation
MegaFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
UnitOfMeasure
联系 都等于原本
UnitOfMeasure
1,000,000倍的
UnitOfMeasure
上。 例如:(
MegaFn
Hertz
)是 1,000,000
Hertz
。")
chinese_format.kif 2443-2445
(
documentation
MegaFn
EnglishLanguage
"A
UnaryFunction
that maps a
UnitOfMeasure
into a
UnitOfMeasure
that is equal to 1,000,000 units of the original
UnitOfMeasure
. For example, (
MegaFn
Hertz
) is 1,000,000
Hertz
.")
Merge.kif 6510-6512
(
documentation
MegaFn
JapaneseLanguage
"
UnaryFunction
は、元の
UnitOfMeasure
の 1,000,000 単位に等しい
UnitOfMeasure
に
UnitOfMeasure
をマップする。 例:(
MegaFn
Hertz
) は 1,000,000
Hertz
である。")
japanese_format.kif 1135-1137
(
domain
MegaFn
1
UnitOfMeasure
)
Merge.kif 6507-6507
The number 1 argument of
mega
is an
instance
of
unit of measure
(
instance
MegaFn
UnitOfMeasureMultiplier
)
Merge.kif 6506-6506
Mega
is an
instance
of
unit of measure multiplier
(
range
MegaFn
UnitOfMeasure
)
Merge.kif 6508-6508
The
range
of
mega
is an instance of
unit of measure
appearance as argument number 2
(
format
ChineseLanguage
MegaFn
"%1 的一百万倍")
chinese_format.kif 637-637
(
format
EnglishLanguage
MegaFn
"1 million %1s")
english_format.kif 640-640
(
format
FrenchLanguage
MegaFn
"1 million %1s")
french_format.kif 385-385
(
format
ItalianLanguage
MegaFn
"1 milione %1s")
relations-it.txt 181-181
(
format
JapaneseLanguage
MegaFn
"1 の million %1s")
japanese_format.kif 2115-2115
(
format
PortugueseLanguage
MegaFn
"1 milhao %1s")
portuguese_format.kif 337-337
(
format
de
MegaFn
"1 million %1")
relations-de.txt 833-833
(
format
hi
MegaFn
"dasa laakha %1")
relations-hindi.txt 219-219
(
format
ro
MegaFn
"1 million%t{milion} de %1")
relations-ro.kif 407-407
(
format
sv
MegaFn
"1 miljon %1s")
relations-sv.txt 428-428
(
format
tg
MegaFn
"1 milyon ang mga %1")
relations-tg.txt 357-357
(
termFormat
ChineseLanguage
MegaFn
"兆")
domainEnglishFormat.kif 36944-36944
(
termFormat
ChineseLanguage
MegaFn
"百万倍函数")
chinese_format.kif 638-638
(
termFormat
ChineseTraditionalLanguage
MegaFn
"兆")
domainEnglishFormat.kif 36943-36943
(
termFormat
EnglishLanguage
MegaFn
"mega")
domainEnglishFormat.kif 36942-36942
(
termFormat
de
MegaFn
"MegaFn")
terms-de.txt 247-247
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?MEGAUNIT
(
MegaFn
?UNIT)))
(
equal
(
MeasureFn
1 ?MEGAUNIT)
(
MeasureFn
1000000 ?UNIT)))
Merge.kif 6514-6518
If
an unit of measure
is an
instance
of
unit of measure
and
equal
another unit of measure
and 1
million
the unit of measure
s,
then
equal
1
the other unit of measure
(s) and 1000000
the unit of measure
(s)
statement
(
equal
(
MeasureFn
1
KilowattHour
)
(
MeasureFn
3.6
(
MegaFn
Joule
)))
Economy.kif 2248-2248
equal
1
kilowatt hour
(s) and 3.6 1
million
joule
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