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 6472-6474
(
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 6469-6469
Il numero 1 argomenti di
KiloFn
è un
istanza
di
Unit�DiMisura
(
instance
KiloFn
UnitOfMeasureMultiplier
)
Merge.kif 6468-6468
KiloFn
è un'
istanza
di
UnitOfMeasureMultiplier
(
range
KiloFn
UnitOfMeasure
)
Merge.kif 6470-6470
rango
di
KiloFn
è un'istanza di
Unit�DiMisura
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
NumeroReale
McgPerKg
(s is
uguale
a
PerFn
MisuraDiMassa
and
MisuraDiMassa
MisuraDiMassa
is
uguale
a
NumeroReale
un
milionesimo
di
Gram
(s
MisuraDiMassa
is
uguale
a
NumeroReale
1
mille
Gram
s(s
Processo
OggettoIntegro
and
OggettoIntegro
Processo
è un'
istanza
di
Ingestione
OggettoIntegro
è un'
istanza
di
SostanzaBiologicamenteAttiva
OggettoIntegro
è un'
istanza
di
Organismo
OggettoIntegro
è un
paziente
di
Processo
Processo
è un
agente
di
OggettoIntegro
weight
OggettoIntegro
and
MisuraDiMassa
weight
OggettoIntegro
and
MisuraDiMassa
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?KILOUNIT
(
KiloFn
?UNIT)))
(
equal
(
MeasureFn
1 ?KILOUNIT)
(
MeasureFn
1000 ?UNIT)))
Merge.kif 6476-6480
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Unit�DiMisura
is
uguale
a 1
mille
Unit�DiMisura
s
1
Unit�DiMisura
(s is
uguale
a 1000
Unit�DiMisura
(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 31710-31721
roomTempState
Sostanza
and
StatoFisico
Entit�Concreta
è un'
istanza
di
Sostanza
roomTempState
Sostanza
and
Liquid
vales
durante
PosizioneTemporale
la
misura
Entit�Concreta
è 101 1
mille
Pascal
s(s
la
misura
Entit�Concreta
è 68
FahrenheitDegree
(s vales
durante
PosizioneTemporale
consequent
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?GIGAUNIT
(
GigaFn
?UNIT)))
(
equal
(
MeasureFn
1 ?GIGAUNIT)
(
MeasureFn
1000000
(
KiloFn
?UNIT))))
Merge.kif 6504-6508
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Unit�DiMisura
is
uguale
a 1
miliardo
Unit�DiMisura
s
1
Unit�DiMisura
(s is
uguale
a 1000000 1
mille
Unit�DiMisura
s(s
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?TERAUNIT
(
TeraFn
?UNIT)))
(
equal
(
MeasureFn
1 ?TERAUNIT)
(
MeasureFn
1000000000
(
KiloFn
?UNIT))))
Merge.kif 6518-6522
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Unit�DiMisura
is
uguale
a 1
trilione
Unit�DiMisura
s
1
Unit�DiMisura
(s is
uguale
a 1000000000 1
mille
Unit�DiMisura
s(s
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
AntarcticCircumpolarCurrent
si
originas in
Oggetto
AntarcticCircumpolarCurrent
fine
s in
Entit�Concreta
la
distanza
tra
Oggetto
e
Entit�Concreta
è 21000.0 1
mille
Meter
s(s
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
Quantit�Fisica
is
uguale
a
NumeroReale
NauticalMile
(s
Quantit�Fisica
is
uguale
a
NumeroReale
+ 1.852 1
mille
Meter
s(s
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3894-3901
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
NauticalMile
(s is
uguale
a
NumeroReale
+ 1.852 1
mille
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
PosizioneTemporale
è un'
istanza
di
EspressoMaking
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Riscaldamento
Entit�
è un
paziente
di
Entit�
la
misura
Entit�
è
Entit�
Liter
(s
approximateValue
Entit�
and 0.03 la
misura
Entit�
è
Entit�
CelsiusDegree
(s
approximateValue
Entit�
and 90 vales
durante
la
fine
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
LiquidMotion
Entit�
è un
paziente
di
Entit�
la
misura
Entit�
è
Entit�
1
mille
Pascal
s(s
approximateValue
Entit�
and 900 vales
durante
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
InsiemeConcreto
la
misura
Entit�
è
Entit�
Gram
(s
approximateValue
Entit�
and 7.5
Entit�
è un
membro
di
Entit�
Entit�
è un'
istanza
di
CoffeeGrind
attribute
Entit�
and
FineGrind
Entit�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Filter
Entit�
è un'
istanza
di
Spostamento
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
la
fine
di il
tempo
di esistenza di
Entit�
is
tra
la
fine
di il
tempo
di esistenza di
Entit�
e la
fine
di il
tempo
di esistenza di
Entit�
vales
durante
PosizioneTemporale
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
milionesimo
di
Gram
(s and 1.0 1
mille
Gram
s(s
(
equal
SquareKilometer
(
SquareUnitFn
(
KiloFn
Meter
)))
Geography.kif 3973-3973
SquareKilometer
is
uguale
a
SquareUnitFn
1
mille
Meter
s
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
La
lunghezza
di
ShorelineFn
SouthernOcean
and
Antarctica
è 17968.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
millesimo
di un
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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
millesimo
di un
Gram
(s and 1.0 1
mille
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
milionesimo
di
Gram
(s and 1.0 1
mille
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