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
PerFn
Sigma KEE - PerFn
PerFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2476-2479
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6635-6640
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1169-1173
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6630-6630
The number 1 argument of
per
is an
instance
of
physical quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6631-6631
The number 2 argument of
per
is an
instance
of
physical quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6628-6628
Per
is an
instance
of
binary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6629-6629
Per
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6633-6633
The
range
of
per
is an instance of
function quantity
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1935-1935
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1934-1934
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1933-1933
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6642-6642
Density
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6654-6654
Speed
is a
subrelation
of
per
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45102-45102
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45101-45101
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 45100-45100
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.
Catalog.kif 467-492
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
No TPTP formula. May not be expressible in strict first order.
WMD.kif 803-810
If the
per
of
a real number
an unit of measure
(s) and
another real number
another unit of measure
(s) is an
effective
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
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
consequent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 505-511
If
an agreement
specifies the
rental
of
a kind of physical
for
a function quantity
,
then there exist
a physical quantity
and
another physical quantity
such that
the other physical quantity
is an
instance
of
currency measure
and
the physical quantity
is an
instance
of
time duration
and
the function quantity
is
equal
to the
per
of
the other physical quantity
and
the physical quantity
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1109-1123
If
a physical
is an
instance
of
heavy raining
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
region
and
the physical
is
located
at
the entity
and the
rate
of
rain
in
the entity
during the
time
of existence of
the physical
is the
per
of
the other entity
millimeter
(s) and 1
hour duration
(s) and
the other entity
is
greater
than 10.0 and 50.0 is
greater
than
the other entity
holds
during
the
time
of existence of
the physical
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2940-2955
If
a physical
is an
instance
of
snow storm
,
then there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
snowing
and
the other entity
is an
instance
of
geographic area
and
the entity
is
located
at
the other entity
and
the entity
is a
subprocess
of
the physical
and the
rate
of
snow
falling at
the other entity
during the
time
of existence of
the entity
is the
per
of
the third entity
centimeter
(s) and 1
hour duration
(s) and
the third entity
is
greater
than 5.0 holds
during
the
time
of existence of
the physical
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 459-465
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
,
then there exist
a physical quantity
and
another physical quantity
such that
the physical quantity
is an
instance
of
time duration
and
the other physical quantity
is an
instance
of
currency measure
and
the function quantity
is
equal
to the
per
of
the other physical quantity
and
the physical quantity
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 402-407
If the
unit
price
charged
a cognitive agent
under
a pricing scheme
for
a function quantity
is
a kind of entity
,
then there exist
a physical quantity
,
a real number
and
an unit of measure
such that
the function quantity
is
equal
to the
per
of
the physical quantity
and
the real number
the unit of measure
(s) and
the physical quantity
is an
instance
of
currency measure
statement
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1439-1439
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.
Mid-level-ontology.kif 13696-13700
1.0
Square mile
(s) is
equal
to the
per
of 1.0
mile
(s) and 1.0
mile
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13706-13710
1.0
Square yard
(s) is
equal
to the
per
of 1.0
yard length
(s) and 1.0
yard length
(s)
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