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
KiloFn
Sigma KEE - KiloFn
KiloFn
appearance as argument number 1
(
documentation
KiloFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
UnitOfMeasure
联系 都等于原本
UnitOfMeasure
1,000倍的
UnitOfMeasure
上。 例如: (
KiloFn
Gram
) 是 1,000
Gram
s。")
chinese_format.kif 2440-2442
(
documentation
KiloFn
EnglishLanguage
"A
UnaryFunction
that maps a
UnitOfMeasure
into a
UnitOfMeasure
that is equal to 1,000 units of the original
UnitOfMeasure
. For example, (
KiloFn
Gram
) is 1,000
Gram
s.")
Merge.kif 6471-6473
(
documentation
KiloFn
JapaneseLanguage
"
UnaryFunction
は、元の
UnitOfMeasure
の 1,000 単位に等しい
UnitOfMeasure
に
UnitOfMeasure
をマップする。例:(
KiloFn
Gram
) は、1,000
Gram
s である。")
japanese_format.kif 1132-1134
(
domain
KiloFn
1
UnitOfMeasure
)
Merge.kif 6468-6468
KiloFn
の数値 1 引数は
測定単位
の
instance
では %n
(
instance
KiloFn
UnitOfMeasureMultiplier
)
Merge.kif 6467-6467
KiloFn
は
UnitOfMeasureMultiplier
の
instance
では %n
(
range
KiloFn
UnitOfMeasure
)
Merge.kif 6469-6469
KiloFn
の
range
は
測定単位
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
KiloFn
"%1 的一千倍")
chinese_format.kif 635-635
(
format
EnglishLanguage
KiloFn
"1 thousand %1s")
english_format.kif 638-638
(
format
FrenchLanguage
KiloFn
"1 millier %1s")
french_format.kif 384-384
(
format
ItalianLanguage
KiloFn
"1 mille %1s")
relations-it.txt 158-158
(
format
JapaneseLanguage
KiloFn
"1 の thousand %1s")
japanese_format.kif 2114-2114
(
format
PortugueseLanguage
KiloFn
"1 mil %1s")
portuguese_format.kif 336-336
(
format
de
KiloFn
"1 tausend %1")
relations-de.txt 831-831
(
format
hi
KiloFn
"1 hajaara %1")
relations-hindi.txt 197-197
(
format
ro
KiloFn
"1 thousand%t{mie} de %1")
relations-ro.kif 406-406
(
format
sv
KiloFn
"1 tusen %1s")
relations-sv.txt 427-427
(
format
tg
KiloFn
"1 libo ng %1")
relations-tg.txt 316-316
(
termFormat
ChineseLanguage
KiloFn
"千")
domainEnglishFormat.kif 32545-32545
(
termFormat
ChineseLanguage
KiloFn
"千倍函数")
chinese_format.kif 636-636
(
termFormat
ChineseTraditionalLanguage
KiloFn
"千")
domainEnglishFormat.kif 32544-32544
(
termFormat
EnglishLanguage
KiloFn
"kilo")
domainEnglishFormat.kif 32543-32543
(
termFormat
tg
KiloFn
"tungkulin ng libo")
relations-tg.txt 317-317
antecedent
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
実数
の
McgPerKg
(s) は
PerFn
質量測定
and
質量測定
と
equal
では %n
質量測定
は
実数
の 1 の
millionth
Gram
(s) と
equal
では %n
質量測定
は
実数
の 1 の
thousand
Gram
s(s) と
equal
では %n
工程
自己接続オブジェクト
and
自己接続オブジェクト
工程
は
摂取
の
instance
では %n
自己接続オブジェクト
は
生物活性物質
の
instance
では %n
自己接続オブジェクト
は
物
の
instance
では %n
自己接続オブジェクト
は
工程
の
patient
では %n
自己接続オブジェクト
は
工程
の
agent
では %n
weight
自己接続オブジェクト
and
質量測定
weight
自己接続オブジェクト
and
質量測定
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?KILOUNIT
(
KiloFn
?UNIT)))
(
equal
(
MeasureFn
1 ?KILOUNIT)
(
MeasureFn
1000 ?UNIT)))
Merge.kif 6475-6479
測定単位
は
測定単位
の
instance
では %n
測定単位
は 1 の
thousand
測定単位
s と
equal
では %n
1 の
測定単位
(s) は 1000 の
測定単位
(s) と
equal
では %n
(=>
(
and
(
roomTempState
?C ?PS)
(
instance
?S ?C)
(
holdsDuring
?T
(
roomTempState
?C
Liquid
))
(
measure
?S
(
MeasureFn
101
(
KiloFn
Pascal
))))
(
holdsDuring
?T
(
measure
?S
(
MeasureFn
68
FahrenheitDegree
))))
Mid-level-ontology.kif 31674-31685
roomTempState
物質
and
物理状態
物理
は
物質
の
instance
では %n
roomTempState
物質
and
Liquid
は
時間位置
の
during
holds %n{ない}
物理
の
measure
は 101 の 1 の
thousand
Pascal
s(s) では %n
物理
の
measure
は 68 の
FahrenheitDegree
(s) では %n は
時間位置
の
during
holds %n{ない}
consequent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?GIGAUNIT
(
GigaFn
?UNIT)))
(
equal
(
MeasureFn
1 ?GIGAUNIT)
(
MeasureFn
1000000
(
KiloFn
?UNIT))))
Merge.kif 6503-6507
測定単位
は
測定単位
の
instance
では %n
測定単位
は 1 の
billion
測定単位
s と
equal
では %n
1 の
測定単位
(s) は 1000000 の 1 の
thousand
測定単位
s(s) と
equal
では %n
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?TERAUNIT
(
TeraFn
?UNIT)))
(
equal
(
MeasureFn
1 ?TERAUNIT)
(
MeasureFn
1000000000
(
KiloFn
?UNIT))))
Merge.kif 6517-6521
測定単位
は
測定単位
の
instance
では %n
測定単位
は 1 の
trillion
測定単位
s と
equal
では %n
1 の
測定単位
(s) は 1000000000 の 1 の
thousand
測定単位
s(s) と
equal
では %n
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
AntarcticCircumpolarCurrent
は
オブジェクト
から
originate
s %n{ない}
AntarcticCircumpolarCurrent
は
物理
に
end
s %n{ない}
オブジェクト
と
物理
の
distance
は 21000.0 の 1 の
thousand
Meter
s(s) では %n
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
物理量
は
実数
の
NauticalMile
(s) と
equal
では %n
物理量
は
実数
+ 1.852 の 1 の
thousand
Meter
s(s) と
equal
では %n
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3894-3901
実数
は 1.0 +
実数
と
equal
では %n
実数
の
NauticalMile
(s) は
実数
+ 1.852 の 1 の
thousand
Meter
s(s) と
equal
では %n
(=>
(
instance
?EM
EspressoMaking
)
(
holdsDuring
?EM
(
exists
(?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
(
and
(
instance
?H
Heating
)
(
patient
?H ?W)
(
measure
?W
(
MeasureFn
?V
Liter
))
(
approximateValue
?V 0.03)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
and
(
measure
?W
(
MeasureFn
?T
CelsiusDegree
))
(
approximateValue
?T 90)))
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?W)
(
holdsDuring
?LM
(
and
(
measure
?W
(
MeasureFn
?P
(
KiloFn
Pascal
)))
(
approximateValue
?P 900)))
(
destination
?LM ?COLL)
(
instance
?COLL
Collection
)
(
measure
?COLL
(
MeasureFn
?K
Gram
))
(
approximateValue
?K 7.5)
(
member
?COLL ?CG)
(
instance
?CG
CoffeeGrind
)
(
attribute
?CG
FineGrind
)
(
located
?COLL ?F)
(
instance
?F
Filter
)
(
instance
?R
Removing
)
(
instrument
?R ?F)
(
patient
?R ?COLL)
(
temporallyBetween
(
EndFn
(
WhenFn
?H))
(
EndFn
(
WhenFn
?LM))
(
EndFn
(
WhenFn
?R)))))))
Food.kif 799-834
時間位置
は
EspressoMaking
の
instance
では %n
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
加熱
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
measure
は
エンティティー
の
Liter
(s) では %n
approximateValue
エンティティー
and 0.03
エンティティー
の
measure
は
エンティティー
の
CelsiusDegree
(s) では %n
approximateValue
エンティティー
and 90 は
エンティティー
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
LiquidMotion
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
measure
は
エンティティー
の 1 の
thousand
Pascal
s(s) では %n
approximateValue
エンティティー
and 900 は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
コレクション
の
instance
では %n
エンティティー
の
measure
は
エンティティー
の
Gram
(s) では %n
approximateValue
エンティティー
and 7.5
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
CoffeeGrind
の
instance
では %n
FineGrind
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
Filter
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence の
end
は
エンティティー
の
time
の existence の
end
と
エンティティー
の
time
の existence の
end
の
between
に %n は
時間位置
の
during
holds %n{ない}
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
equal
SquareKilometer
(
SquareUnitFn
(
KiloFn
Meter
)))
Geography.kif 3973-3973
SquareKilometer
は
SquareUnitFn
1 の
thousand
Meter
s と
equal
では %n
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
ShorelineFn
SouthernOcean
and
Antarctica
の
length
は 17968.0 の 1 の
thousand
Meter
s(s) では
(
lethalDose
AbrinToxin
(
PerFn
(
MeasureFn
0.04
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 439-439
lethalDose
AbrinToxin
and
PerFn
0.04 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Batrachotoxin
(
PerFn
(
MeasureFn
2.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 310-310
lethalDose
Batrachotoxin
and
PerFn
2.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
BotulinumToxin
(
PerFn
(
MeasureFn
0.001
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 325-325
lethalDose
BotulinumToxin
and
PerFn
0.001 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Diacetoxyscirpenol
(
PerFn
(
MeasureFn
23.0
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1840-1840
lethalDose
Diacetoxyscirpenol
and
PerFn
23.0 の 1 の
thousandth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
RicinToxin
(
PerFn
(
MeasureFn
3.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 431-431
lethalDose
RicinToxin
and
PerFn
3.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Sarin
(
PerFn
(
MeasureFn
100.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 586-586
lethalDose
Sarin
and
PerFn
100.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
ShigaToxin
(
PerFn
(
MeasureFn
0.002
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1339-1339
lethalDose
ShigaToxin
and
PerFn
0.002 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Soman
(
PerFn
(
MeasureFn
64.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 582-582
lethalDose
Soman
and
PerFn
64.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.02
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1440-1440
lethalDose
StaphylococcalEnterotoxinB
and
PerFn
0.02 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
T2Toxin
(
PerFn
(
MeasureFn
5.2
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1845-1845
lethalDose
T2Toxin
and
PerFn
5.2 の 1 の
thousandth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
VX
(
PerFn
(
MeasureFn
15.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 599-599
lethalDose
VX
and
PerFn
15.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
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