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
O argumento numero 1 de
KiloFn
e' uma
instancia
de
Unidade de Medida
(
instance
KiloFn
UnitOfMeasureMultiplier
)
Merge.kif 6467-6467
KiloFn
e' uma
instancia
de
UnitOfMeasureMultiplier
(
range
KiloFn
UnitOfMeasure
)
Merge.kif 6469-6469
O
contra
-dominio de
KiloFn
e' uma instancia de
Unidade de Medida
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
Numero Real
McgPerKg
(s) e'
igual
a
PerFn
Medida de Massa
and
Medida de Massa
Medida de Massa
e'
igual
a
Numero Real
um
milhonesimo
de
Gram
(s)
Medida de Massa
e'
igual
a
Numero Real
1
mil
Gram
s(s)
Processo
Objeto auto-conectado
and
Objeto auto-conectado
Processo
e' uma
instancia
de
Ingerir
Objeto auto-conectado
e' uma
instancia
de
Substancia Biologica Ativa
Objeto auto-conectado
e' uma
instancia
de
Organismo
Objeto auto-conectado
e' um
patient
de
Processo
Processo
e' um
agente
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Medida de Massa
weight
Objeto auto-conectado
and
Medida de Massa
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?KILOUNIT
(
KiloFn
?UNIT)))
(
equal
(
MeasureFn
1 ?KILOUNIT)
(
MeasureFn
1000 ?UNIT)))
Merge.kif 6475-6479
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Unidade de Medida
e'
igual
a 1
mil
Unidade de Medida
s
1
Unidade de Medida
(s) e'
igual
a 1000
Unidade de Medida
(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
Substancia
and
Estado Fisico
Fisico
e' uma
instancia
de
Substancia
roomTempState
Substancia
and
Liquid
vale
durante
Posicao Temporal
a
medida
de
Fisico
e' 101 1
mil
Pascal
s(s)
a
medida
de
Fisico
e' 68
FahrenheitDegree
(s)
vale
durante
Posicao Temporal
consequent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?GIGAUNIT
(
GigaFn
?UNIT)))
(
equal
(
MeasureFn
1 ?GIGAUNIT)
(
MeasureFn
1000000
(
KiloFn
?UNIT))))
Merge.kif 6503-6507
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Unidade de Medida
e'
igual
a 1
bilhao
Unidade de Medida
s
1
Unidade de Medida
(s) e'
igual
a 1000000 1
mil
Unidade de Medida
s(s)
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?TERAUNIT
(
TeraFn
?UNIT)))
(
equal
(
MeasureFn
1 ?TERAUNIT)
(
MeasureFn
1000000000
(
KiloFn
?UNIT))))
Merge.kif 6517-6521
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Unidade de Medida
e'
igual
a 1
trilhao
Unidade de Medida
s
1
Unidade de Medida
(s) e'
igual
a 1000000000 1
mil
Unidade de Medida
s(s)
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
AntarcticCircumpolarCurrent
tem como
origem
Objeto
AntarcticCircumpolarCurrent
termina
em
Fisico
a
distancia
entre
Objeto
e
Fisico
e' 21000.0 1
mil
Meter
s(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
Quantidade Fisica
e'
igual
a
Numero Real
NauticalMile
(s)
Quantidade Fisica
e'
igual
a
Numero Real
+ 1.852 1
mil
Meter
s(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3894-3901
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
NauticalMile
(s) e'
igual
a
Numero Real
+ 1.852 1
mil
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
Posicao Temporal
e' uma
instancia
de
EspressoMaking
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Aquecer
Entidade
e' um
patient
de
Entidade
a
medida
de
Entidade
e'
Entidade
Liter
(s)
approximateValue
Entidade
and 0.03 a
medida
de
Entidade
e'
Entidade
CelsiusDegree
(s)
approximateValue
Entidade
and 90
vale
durante o
fim
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
LiquidMotion
Entidade
e' um
patient
de
Entidade
a
medida
de
Entidade
e'
Entidade
1
mil
Pascal
s(s)
approximateValue
Entidade
and 900
vale
durante
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Colecao
a
medida
de
Entidade
e'
Entidade
Gram
(s)
approximateValue
Entidade
and 7.5
Entidade
e'
membro
de
Entidade
Entidade
e' uma
instancia
de
CoffeeGrind
FineGrind
e' um
atributo
de
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Filter
Entidade
e' uma
instancia
de
Remover
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
fim
de
tempo
de existencia de
Entidade
e'
entre
o
fim
de
tempo
de existencia de
Entidade
e o
fim
de
tempo
de existencia de
Entidade
vale
durante
Posicao Temporal
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
Gram
s(s)
(
equal
SquareKilometer
(
SquareUnitFn
(
KiloFn
Meter
)))
Geography.kif 3973-3973
SquareKilometer
e'
igual
a
SquareUnitFn
1
mil
Meter
s
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
O
comprimento
de
ShorelineFn
SouthernOcean
and
Antarctica
e' 17968.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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 um
milesimo
de
Gram
(s) and 1.0 1
mil
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 um
milhonesimo
de
Gram
(s) and 1.0 1
mil
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