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
GigaFn
Sigma KEE - GigaFn
GigaFn
appearance as argument number 1
(
documentation
GigaFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
UnitOfMeasure
联系 都等于原本
UnitOfMeasure
1,000,000,000倍的
UnitOfMeasure
上。 例如:(
GigaFn
Hertz
)是 1,000,000,000
Hertz
。")
chinese_format.kif 2446-2448
(
documentation
GigaFn
EnglishLanguage
"A
UnaryFunction
that maps a
UnitOfMeasure
into a
UnitOfMeasure
that is equal to 1,000,000,000 units of the original
UnitOfMeasure
. For example, (
GigaFn
Hertz
) is 1,000,000,000
Hertz
.")
Merge.kif 6499-6501
(
documentation
GigaFn
JapaneseLanguage
"
UnaryFunction
は、元の
UnitOfMeasure
の 1,000,000,000単位に等しい
UnitOfMeasure
に
UnitOfMeasure
をマップする。 例: (
GigaFn
Hertz
) は1,000,000,000Hである。")
japanese_format.kif 1138-1140
(
domain
GigaFn
1
UnitOfMeasure
)
Merge.kif 6496-6496
十亿倍函数
的 1 数量 是
测量单位
的
instance
(
instance
GigaFn
UnitOfMeasureMultiplier
)
Merge.kif 6495-6495
十亿倍函数
是
UnitOfMeasureMultiplier
的
instance
(
range
GigaFn
UnitOfMeasure
)
Merge.kif 6497-6497
十亿倍函数
的
range
是
测量单位
的实例
appearance as argument number 2
(
format
ChineseLanguage
GigaFn
"%1 的十亿倍")
chinese_format.kif 639-639
(
format
EnglishLanguage
GigaFn
"1 billion %1s")
english_format.kif 642-642
(
format
FrenchLanguage
GigaFn
"1 billion %1s ")
french_format.kif 386-386
(
format
ItalianLanguage
GigaFn
"1 miliardo %1s ")
relations-it.txt 118-118
(
format
JapaneseLanguage
GigaFn
"1 の billion %1s")
japanese_format.kif 2116-2116
(
format
PortugueseLanguage
GigaFn
"1 bilhao %1s ")
portuguese_format.kif 338-338
(
format
de
GigaFn
"1 milliarde %1")
relations-de.txt 835-835
(
format
hi
GigaFn
"1 araba %1")
relations-hindi.txt 158-158
(
format
ro
GigaFn
"1 billion%t{miliard} de %1")
relations-ro.kif 408-408
(
format
sv
GigaFn
"1 miljard %1s ")
relations-sv.txt 429-429
(
format
tg
GigaFn
"1 bilyon ang mga %1")
relations-tg.txt 244-244
(
termFormat
ChineseLanguage
GigaFn
"十亿倍函数")
chinese_format.kif 640-640
(
termFormat
ChineseLanguage
GigaFn
"千兆")
domainEnglishFormat.kif 26046-26046
(
termFormat
ChineseTraditionalLanguage
GigaFn
"千兆")
domainEnglishFormat.kif 26045-26045
(
termFormat
EnglishLanguage
GigaFn
"giga")
domainEnglishFormat.kif 26044-26044
(
termFormat
tg
GigaFn
"tungkulin ng bilyon")
relations-tg.txt 245-245
antecedent
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
如果
计算机网络
是
4G 网路
的
instance
和
实数
每秒位数
的十亿倍 是
那个 计算机网络
的
bandwidth
,
然后
那个 实数
是
lessThan
1
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?GIGAUNIT
(
GigaFn
?UNIT)))
(
equal
(
MeasureFn
1 ?GIGAUNIT)
(
MeasureFn
1000000
(
KiloFn
?UNIT))))
Merge.kif 6503-6507
如果
测量单位
是
测量单位
的
instance
和
另一个 测量单位
equal
那个 测量单位
的十亿倍,
然后 1
那个 另外 测量单位
equal
1000000
那个 测量单位
的一千倍
(=>
(
and
(
instance
?WN
(
NetworkCommunicationFn
BluetoothNetwork
))
(
instance
?R
RadiatingElectromagnetic
)
(
subProcess
?R ?WN)
(
carrierFrequency
?R
(
MeasureFn
?W
(
GigaFn
Hertz
))))
(
and
(
greaterThan
?W 2.4)
(
lessThan
?W 2.485)))
ComputingBrands.kif 1579-1588
如果
过程
是 通信透过
Bluetooth 蓝芽网路
的
instance
和
辐射
是
辐射电磁
的
instance
和
那个 辐射
%n是
那个 过程
的
subProcess
和
那个 辐射
载波的频率是
实数
赫兹
的十亿倍 ,
然后
那个 实数
是
greaterThan
2.4 和
那个 实数
是
lessThan
2.485
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