Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
MicroFn
Sigma KEE - MicroFn
MicroFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2455-2457
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6451-6453
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6448-6448
The number 1 argument of
micro
is an
instance
of
unit of measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6447-6447
Micro
is an
instance
of
UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6449-6449
The
range
of
micro
is an instance of
unit of measure
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 645-645
No TPTP formula. May not be expressible in strict first order.
english_format.kif 648-648
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 37422-37422
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 646-646
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 37421-37421
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 37420-37420
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 823-840
If
a real number
micrograms per kilogram
(s) is
equal
to the
per
of
a mass measure
and
another mass measure
and
the mass measure
is
equal
to
another real number
one
millionth
of a
gram
(s) and
the other mass measure
is
equal
to
a third real number
1
thousand
gram
s(s),
then there exist
a process
,
a self connected object
and
another self connected object
such that
the process
is an
instance
of
ingesting
and
the self connected object
is an
instance
of
biologically active substance
and
the other self connected object
is an
instance
of
organism
and
the self connected object
is a
patient
of
the process
and
the other self connected object
is an
agent
of
the process
and
the mass measure
is a
weight
of
the self connected object
and
the other mass measure
is a
weight
of
the other self connected object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6455-6459
If
an unit of measure
is an
instance
of
unit of measure
and
another unit of measure
is
equal
to one
millionth
of a
the unit of measure
,
then 1
the other unit of measure
(s) is
equal
to 0.000001
the unit of measure
(s)
statement
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1430-1430
The
per
of 0.0004 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is an
effective
dose of
staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order.
WMD.kif 439-439
The
per
of 0.04 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
abrin toxin
No TPTP formula. May not be expressible in strict first order.
WMD.kif 310-310
The
per
of 2.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
batrachotoxin
No TPTP formula. May not be expressible in strict first order.
WMD.kif 325-325
The
per
of 0.001 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
botulinum toxin
No TPTP formula. May not be expressible in strict first order.
WMD.kif 431-431
The
per
of 3.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
ricin toxin
No TPTP formula. May not be expressible in strict first order.
WMD.kif 586-586
The
per
of 100.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
sarin
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1330-1330
The
per
of 0.002 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
shiga toxin
No TPTP formula. May not be expressible in strict first order.
WMD.kif 582-582
The
per
of 64.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
soman
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1431-1431
The
per
of 0.02 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order.
WMD.kif 599-599
The
per
of 15.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
VX
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
MicroFn