Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
FOKOrder
Sigma KEE - greaterThan
greaterThan
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1731-1732
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1862-1864
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 339-340
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1858-1858
The number 1 argument of
greater than
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1859-1859
The number 2 argument of
greater than
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1852-1852
greater than
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1855-1855
greater than
is an
instance
of
irreflexive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1856-1856
greater than
is an
instance
of
relation extended to quantities
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1853-1853
greater than
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1854-1854
greater than
is an
instance
of
transitive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1860-1860
greater than
is an
inverse
of
less than
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1857-1857
greater than
is
trichotomizing
on
real number
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4916-4916
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 111-111
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
english_format.kif 111-111
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
french_format.kif 77-77
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 121-121
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1904-1904
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 29-29
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 77-77
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 127-127
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 161-161
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 96-96
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 76-76
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 248-248
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 112-112
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26543-26543
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26542-26542
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26541-26541
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 37-37
Southern ocean
comparative
area
greater than
for 2.0 with
united states
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 249-249
Southern ocean
comparative
area
greater than
for 2.0 with
united states
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1009-1013
An entity
is an
instance
of
personal account
and the number of
instances
in the
class
described by
a symbolic string
is
greater
than 1 if and only if
the entity
is an
instance
of
joint account
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7777-7788
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and 10.0 is
greater
than
the real number
and
the real number
is
greater
than 2.5 if and only if there exists
the object
10 such that
the object
10 is an
instance
of
PM10
and
the object
10 is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 355-373
If
an agent
breathes
at a rate of
an integer
breaths per
a time interval
and
the time interval
is an
instance
of
minute
and there doesn't exist
the integer
such that
the integer
is an
instance
of
recreation or exercise
and
the agent
is an
agent
of
the integer
and
the time interval
takes place
during
the
time
of existence of
the integer
and
human adult
is an
attribute
of
the agent
holds
during
the time interval
and
the integer
is
greater
than 16 or
the integer
is
less
than 12,
then
healthy
is not an
attribute
of
the agent
holds
during
the time interval
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1534-1541
If
desert climate zone
is a
climate
type in area of
a geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s) and
the real number
is
greater
than 18.0,
then
subtropical desert climate zone
is a
climate
type in area of
the geographic area
No TPTP formula. May not be expressible in strict first order.
Cars.kif 809-825
If the damping ratio of
a physical system
is
a real number
and
the real number
is
greater
than 0 and
a process
is an
instance
of
tremor
and
the physical system
is a
patient
of
the process
and
an entity
is an
instance
of
unit of length
and the amplitude
the process
is
another real number
the entity
(s) holds
during
the process
1 and the amplitude
the process
is
a third real number
the entity
(s) holds
during
the process
2 and
the process
1 takes place
during
the
time
of existence of
the process
and
the process
2 takes place
during
the
time
of existence of
the process
and
the process
1 happens
earlier
than
the process
2,
then
the other real number
is
greater
than
the third real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15665-15682
If
equal
edition
a positive integer
of
a kind of content bearing object
and
another kind of content bearing object
and
equal
edition
another positive integer
of
a kind of content bearing object
and
a third kind of content bearing object
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
another kind of content bearing object
and
another entity
is an
instance
of
a third kind of content bearing object
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3290-3297
If
equal
a real number
and the
average
of the numbers in
a list
and
length
of
the list
is
greater
than 0,
then
equal
the real number
and the
sum
of
the list
and
length
of
the list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3271-3281
If
equal
a real number
and the
sum
of
a list
and
length
of
the list
is
greater
than 1,
then
equal
the real number
and (the
first
of
the list
and the
sum
of the sub-list from 2 to
length
of
the list
of
the list
)
No TPTP formula. May not be expressible in strict first order.
Media.kif 3052-3073
If
equal
a symbolic string
and the reverse of
another symbolic string
and
equal
a nonnegative integer
and the
length
of
the other symbolic string
and
the nonnegative integer
is
greater
than 1 and
another nonnegative integer
is
greater
than 0 and
the other nonnegative integer
is
less
than
the nonnegative integer
and
equal
an integer
and the
ceiling
of (
the nonnegative integer
and 1) and 2 and
equal
the other nonnegative integer
EW and ((
the integer
and
the other nonnegative integer
) and
the integer
) and
equal
a third symbolic string
and the
sub
-string of
the other symbolic string
from
the other nonnegative integer
to (1 and
the other nonnegative integer
),
then
equal
the third symbolic string
and the
sub
-string of
the symbolic string
from
the other nonnegative integer
EW to (1 and
the other nonnegative integer
EW)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3203-3215
If
equal
a list
and the sub-list from
a positive integer
to
an integer
of
another list
and (
the integer
and
the positive integer
) is
greater
than 1,
then
equal
the list
and the
list
composed of (
the positive integer
th
element
of
the other list
) and the sub-list from (1 and
the positive integer
) to
the integer
of
the other list
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2283-2295
If
equal
a real number
and
VarianceAverageFn
of
a list
with the mean of
a number
and
length
of
the list
is
greater
than 1,
then
equal
the real number
and (
VarianceAverageFn
of 1th
element
of
the list
with the mean of
the number
and
VarianceAverageFn
of the sub-list from 2 to
length
of
the list
of
the list
with the mean of
the number
)
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1070-1075
If
a merchant marine
fOC
ships by origin
a geopolitical area
for
a nonnegative integer
and
the nonnegative integer
is
greater
than 0 and
a ship register
is a
marine
inventory of
the merchant marine
,
then
the ship register
is an
instance
of
flag of convenience register
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2868-2886
If the maximum speed allowed by
a governor
is
a function quantity
and
equal
a real number
miles per hour
(s) and
a length measure
per
a time duration
and
equal
another real number
miles per hour
(s) and
another length measure
per
another time duration
and
the real number
is
greater
than
the other real number
and
equal
the real number
PROB and the
probability
of the
measure
of
the governor
is
the real number
miles per hour
(s) and
equal
the other real number
PROB and the
probability
of the
measure
of
the governor
is
the other real number
miles per hour
(s),
then
the other real number
PROB is
greater
than
the real number
PROB
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.
Geography.kif 1739-1746
If
a geographic area
is an
instance
of
geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s) and 10.0 is
greater
than
the real number
,
then
polar climate zone
is a
climate
type in area of
the geographic area
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 354-365
If
a process
is an
instance
of
auctioning
and
an agent
is an
instance
of
agent
and
another agent
is an
instance
of
agent
and
an object
is an
instance
of
object
and
an unit of measure
is an
instance
of
unit of currency
and
the object
is a
patient
of
the process
and
the agent
bids
a real number
the unit of measure
(s) for
the object
and
the other agent
bids
another real number
the unit of measure
(s) for
the object
and
the real number
is
greater
than
the other real number
,
then
the process
end
s up at
the agent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8835-8842
If
a time interval
is an
instance
of the
day
a positive integer
of month the
month
a kind of month
and
another time interval
is an
instance
of the
day
another positive integer
of month the
month
a kind of month
and
equal
a time point
and the
beginning
of
the time interval
and
equal
another time point
and the
beginning
of
the other time interval
and
the other positive integer
is
greater
than
the positive integer
,
then
the time point
happens
before
the other time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8844-8849
If
a time interval
is an
instance
of the
day
a positive integer
of month the
month
a kind of month
and
another time interval
is an
instance
of the
day
another positive integer
of month the
month
a kind of month
and
the other positive integer
is
greater
than
the positive integer
,
then
the time interval
happens
earlier
than
the other time interval
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 335-341
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
and
the real number
is
greater
than 12 and
the real number
is
less
than 20,
then
the entity
is an
instance
of
teenager
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 3780-3785
If
an object
is an
instance
of
harbor
and
the object
equipment
count
ship berth
for
a real number
and
the real number
is
greater
than 0,
then
the object
is
capable
of doing
ship berthing
as a
path
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1746-1766
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14016-14031
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
another real number
the unit of measure
(s) is a
melting
point of
the kind of pure substance
and
the unit of measure
is an
instance
of
unit of temperature
and the
measure
of
the entity
is
a third real number
the unit of measure
(s) holds
during
a time interval
and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
melting
and
the entity
is a
patient
of
the process
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2229-2236
If
a water area
is an
instance
of
surf zone
and
significantWaveHeight
in
the water area
during the
time
of existence of
the water area
is
a real number
foot length
(s). and
the real number
is
greater
than 8.0,
then
red flag swimming condition
is an
attribute
of
the water area
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6014-6034
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13951-13960
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and 29.92 is
greater
than
the real number
and
another real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
,
then
gas
is an
attribute
of
the object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4951-4960
Open sea
is an
attribute
of
an object
if and only if there exist
a physical
and
a real number
such that
the object
is an
instance
of
salt water area
and
the object
is not an
instance
of
landlocked water
and the
distance
between
the physical
and
the object
is
the real number
nautical mile
(s) and
the real number
is
greater
than 5.0
No TPTP formula. May not be expressible in strict first order.
People.kif 272-293
A real number
is an
average
of
a list
if and only if there exist
another list
and
a positive integer
such that
equal
length
of
the other list
and
length
of
the list
and
equal
1th
element
of
the other list
and 1th
element
of
the list
and for all
another positive integer
if
the other positive integer
is a
member
of
the other list
,
then there exist
another real number
,
the other real number
MINUSONE,, ,
a third positive integer
and
a fourth positive integer
such that
the other real number
is
greater
than 1 and
the other real number
is
less
than or equal to
length
of
the other list
and
equal
the other positive integer
th
element
of
the other list
and
the other real number
and
the third positive integer
is a
member
of
the list
and
equal
the other real number
and
the third positive integer
th
element
of
the list
and
the fourth positive integer
is a
member
of
the other list
and
equal
the other real number
MINUSONE and (
the other real number
and 1) and
equal
the other real number
MINUSONE and
the fourth positive integer
th
element
of
the other list
and
equal
the other positive integer
and (
the third positive integer
and
the fourth positive integer
)
and
equal
the positive integer
and
length
of
the other list
and
equal
the real number
and
the positive integer
th
element
of
the other list
and
the positive integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1948-1952
A real number
is an
instance
of
positive real number
if and only if
the real number
is
greater
than 0 and
the real number
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7843-7851
An object
is
larger
than
another object
if and only if for all
a real number
,
another real number
and
an unit of measure
if the
measure
of
the object
is
the real number
the unit of measure
(s) and the
measure
of
the other object
is
the other real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
,
then
the real number
is
greater
than
the other real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1912-1917
If
flat terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.005 is
greater
than
the nonnegative real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1924-1929
If
low terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.03 is
greater
than
the nonnegative real number
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1165-1176
If
family_style portions
is an
attribute
of
an object
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
family_style portions
is not an
attribute
of
another object
and the
measure
of
the other object
is
another real number
the unit of measure
(s) and
the object
is an
instance
of
a class
and
the other object
is an
instance
of
the class
and
the unit of measure
is an
instance
of
unit of measure
,
then
the real number
is
greater
than
the other real number
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
If
muslim
is an
attribute
of
an agent
and
equal
value
of belongings of
the agent
and
a currency measure
,
then the statement there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
zakat
and
the fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
the fifth entity
the third entity
(s) and
the third entity
is an
instance
of
unit of currency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3987-4007
If
attention deficit hyperactivity disorder
is an
attribute
of
an agent
and
attention deficit hyperactivity disorder
is not an
attribute
of
another agent
and
equal
the agent
and
the other agent
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
intentional psychological process
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
duration
of the
time
of existence of
the process
is
a time duration
and
duration
of the
time
of existence of
the other process
is
another time duration
,
then the statement
the other time duration
is
greater
than
the time duration
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1194-1209
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a class
and
the class
is a
subclass
of
hotel unit
,
then there exist
a physical
,
a real number
,, ,
another real number
and
an unit of measure
such that
the physical
is an
immediate
instance of
the class
and
the unit of measure
is an
instance
of
unit of area
and the
measure
of
the physical
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the real number
is an
instance
of
area measure
and
the other real number
is an
instance
of
area measure
and
the other real number
is
greater
than
the real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11414-11422
If
windy
is an
attribute
of
an object
and
the object
is
located
at
another object
and
equal
a time interval
and the
time
of existence of
the object
and
a real number
miles per hour
(s) is a
surface
wind speed of
the other object
holds
during
the time interval
,
then
the real number
is
greater
than 20.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25883-25893
If
a day
is a
birthdate
of
a human
and
the day
is an
instance
of the
day
a positive integer
of month the
month
a kind of month
,
then there exist
another kind of day
and
an integer
such that
the human
's
birthday
is
another kind of day
and
the other kind of day
is a
subclass
of
day
and
the integer
is an
instance
of
integer
and
equal
the other kind of day
and the
day
the positive integer
of month the
month
a kind of month
and
the integer
is
greater
than
another integer
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1663-1669
If
a geopolitical area
capital
expenditures of area in period
a real number
an unit of measure
(s) for
a kind of time interval
and
the geopolitical area
annual
expenditures of area in period
another real number
the unit of measure
(s) for
a kind of time interval
,
then
the other real number
is
greater
than
the real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1686-1694
If
cold climate zone
is a
climate
type in area of
a geographic area
and for all
a time interval
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s),
then 10.0 is
greater
than
the real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1761-1767
If
polar typeF climate zone
is a
climate
type in area of
a geographic area
and
a time position
is an
instance
of
time position
and
an entity
celsius degree
(s) is an
air
temperature of
the geographic area
holds
during
the time position
,
then 10.0 is
greater
than
the entity
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Cars.kif 809-825
If the damping ratio of
a physical system
is
a real number
and
the real number
is
greater
than 0 and
a process
is an
instance
of
tremor
and
the physical system
is a
patient
of
the process
and
an entity
is an
instance
of
unit of length
and the amplitude
the process
is
another real number
the entity
(s) holds
during
the process
1 and the amplitude
the process
is
a third real number
the entity
(s) holds
during
the process
2 and
the process
1 takes place
during
the
time
of existence of
the process
and
the process
2 takes place
during
the
time
of existence of
the process
and
the process
1 happens
earlier
than
the process
2,
then
the other real number
is
greater
than
the third real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18633-18638
If The
defalutMaxValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
equal
another entity
and
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
greater
than
the other entity
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14875-14884
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
has the
modal
force
of
unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14886-14897
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14825-14836
If the
maximum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement there exists
the real number
ADIUS such that the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
greater
than
the real number
has the
modal
force
of
unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14905-14914
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
and 1.5 has the
modal
force
of
unlikely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18616-18621
If The
defaultMinValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
equal
another entity
and
the positive integer
th
element
of (@ARGS),
then the statement
the other entity
is
greater
than
the quantity
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2569-2587
If the idle speed of
an internal combustion engine
is the rotation of
a real number
miles per hour
(s) during
a time duration
and
an object
is an
instance
of
automobile
and
a process
is an
instance
of
gas pedal
and
the process
is an
instance
of
pushing
and
the process
end
s up at
another object
and
the internal combustion engine
is a
part
of
the object
and
the other object
is a
part
of
the object
and
a third object
is an
instance
of
crankshaft
and
the third object
is a
part
of
the internal combustion engine
and the
measure
of
the third object
is the rotation of
an entity
miles per hour
(s) during
the time duration
holds
during
the
time
of existence of
the process
,
then the statement
the entity
is
greater
than
the real number
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4902-4916
If
equal
the
greatest
common divisor of @ROW and
an integer
and
equal
the integer
and 0,
then there doesn't exist
another integer
such that
the other integer
is
greater
than
the integer
and for all
a third integer
if
the third integer
is a
member
of (@ROW),
then
equal
the third integer
mod
the other integer
and 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19914-19929
If
equal
an organization
and the
department
of
a kind of physical
in
another organization
and
the organization
2 is a part of the organization
the other organization
and
equal
the organization
and
the organization
2 and
an entity
is an
instance
of
a kind of physical
and
the organization
is
interested
in
the entity
and
equal
a real number
and the
probability
of
the organization
is an
agent
of
another entity
and
equal
the other entity
2 and the
probability
of
the organization
2 is an
agent
of
the other entity
,
then
the real number
is
greater
than
the other entity
2
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
FOKOrder