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
Le nombre 1 argument de
KiloFn
est une
instance
de
unit� de mesure
(
instance
KiloFn
UnitOfMeasureMultiplier
)
Merge.kif 6467-6467
KiloFn
est une
instance
de
UnitOfMeasureMultiplier
(
range
KiloFn
UnitOfMeasure
)
Merge.kif 6469-6469
Le
domaine
de
KiloFn
est une instance de
unit� de mesure
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
Nombre r�el
McgPerKg
(s) est
PerFn
mesure de masse
and
mesure de masse
mesure de masse
est
nombre r�el
un
millioni
�me de
Gram
(s)
mesure de masse
est
nombre r�el
1
millier
Gram
s(s)
processus
objet en une partie
and
objet en une partie
processus
est une
instance
de
ing�rer
objet en une partie
est une
instance
de
substance biologique active
objet en une partie
est une
instance
de
organisme
objet en une partie
est un
patient
de
processus
processus
est un
agent
de
objet en une partie
weight
objet en une partie
and
mesure de masse
weight
objet en une partie
and
mesure de masse
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?KILOUNIT
(
KiloFn
?UNIT)))
(
equal
(
MeasureFn
1 ?KILOUNIT)
(
MeasureFn
1000 ?UNIT)))
Merge.kif 6475-6479
Unit� de mesure
est une
instance
de
unit� de mesure
unit� de mesure
est
millier
unit� de mesure
s
1
unit� de mesure
(s) est
unit� de mesure
(s)
(=>
(
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 31678-31689
roomTempState
substance
and
�tat physique
physique
est une
instance
de
substance
roomTempState
substance
and
Liquid
pendant
position temporel
la
mesure
de
physique
est 101 1
millier
Pascal
s(s)
la
mesure
de
physique
est 68
FahrenheitDegree
(s)
pendant
position temporel
consequent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?GIGAUNIT
(
GigaFn
?UNIT)))
(
equal
(
MeasureFn
1 ?GIGAUNIT)
(
MeasureFn
1000000
(
KiloFn
?UNIT))))
Merge.kif 6503-6507
Unit� de mesure
est une
instance
de
unit� de mesure
unit� de mesure
est
billion
unit� de mesure
s
1
unit� de mesure
(s) est
millier
unit� de mesure
s(s)
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?TERAUNIT
(
TeraFn
?UNIT)))
(
equal
(
MeasureFn
1 ?TERAUNIT)
(
MeasureFn
1000000000
(
KiloFn
?UNIT))))
Merge.kif 6517-6521
Unit� de mesure
est une
instance
de
unit� de mesure
unit� de mesure
est
trillion
unit� de mesure
s
1
unit� de mesure
(s) est
millier
unit� de mesure
s(s)
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
AntarcticCircumpolarCurrent
a pour
origine
objet
AntarcticCircumpolarCurrent
aboutit
�
physique
la
distance
entre
objet
et
physique
est 21000.0 1
millier
Meter
s(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
Quantit� physique
est
nombre r�el
NauticalMile
(s)
quantit� physique
est
nombre r�el
+ 1.852 1
millier
Meter
s(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3894-3901
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 1.852 1
millier
Meter
s(s)
(=>
(
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
Position temporel
est une
instance
de
EspressoMaking
entit�
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
r�chauffer
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
Liter
(s)
approximateValue
entit�
and 0.03 la
mesure
de
entit�
est
entit�
CelsiusDegree
(s)
approximateValue
entit�
and 90
pendant
la
fin
de
temps
d'existence de
entit�
entit�
est une
instance
de
LiquidMotion
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
1
millier
Pascal
s(s)
approximateValue
entit�
and 900
pendant
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
collection
la
mesure
de
entit�
est
entit�
Gram
(s)
approximateValue
entit�
and 7.5
entit�
est un
membre
de
entit�
entit�
est une
instance
de
CoffeeGrind
FineGrind
est un
attribut
de
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Filter
entit�
est une
instance
de
supprimer
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
la
fin
de
temps
d'existence de
entit�
est
entre
la
fin
de
temps
d'existence de
entit�
et la
fin
de
temps
d'existence de
entit�
pendant
position temporel
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 un
millioni
�me de
Gram
(s) and 1.0 1
millier
Gram
s(s)
(
equal
SquareKilometer
(
SquareUnitFn
(
KiloFn
Meter
)))
Geography.kif 3973-3973
SquareKilometer
est
SquareUnitFn
1
millier
Meter
s
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
Le
longueur
de
ShorelineFn
SouthernOcean
and
Antarctica
est 17968.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
milli
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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 un
milli
�me de
Gram
(s) and 1.0 1
millier
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 un
millioni
�me de
Gram
(s) and 1.0 1
millier
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