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
lethalDose
Sigma KEE - lethalDose
lethalDose
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 846-849
No TPTP formula. May not be expressible in strict first order.
WMD.kif 844-844
The number 2 argument of
lethal dose
is an
instance
of
function quantity
No TPTP formula. May not be expressible in strict first order.
WMD.kif 843-843
The number 1 argument of
lethal dose
is a
subclass
of
biochemical agent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 842-842
lethal dose
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
WMD.kif 845-845
lethal dose
is
internally
related to
effective dose
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1527-1527
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1526-1526
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1525-1525
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34157-34157
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34156-34156
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34155-34155
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1017-1023
If
an entity
is an
instance
of
a kind of biochemical agent
and
a real number
an unit of measure
(s) is a
lethal
dose of
a kind of biochemical agent
and
the real number
is
greater
than 0.0,
then
the entity
is an
instance
of
life threatening agent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 851-858
If
an unit of measure
is an
instance
of
micrograms per kilogram
and
a real number
the unit of measure
(s) is an
effective
dose of
a kind of biochemical agent
and
another real number
the unit of measure
(s) is a
lethal
dose of
a kind of biochemical agent
,
then
the other real number
is
greater
than
the real number
No TPTP formula. May not be expressible in strict first order.
WMD.kif 860-867
If the
per
of
a real number
an unit of measure
(s) and
another real number
another unit of measure
(s) is a
lethal
dose of
a kind of biochemical agent
,
then
the unit of measure
is an
instance
of
unit of mass
and
the other unit of measure
is an
instance
of
unit of mass
appearance as argument number 0
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 1840-1840
The
per
of 23.0 one
thousandth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
diacetoxyscirpenol
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 1339-1339
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 1440-1440
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 1845-1845
The
per
of 5.2 one
thousandth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
t2 toxin
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