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
greaterThan
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 1852-1854
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 1848-1848
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 1849-1849
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 1842-1842
greater than
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1845-1845
greater than
is an
instance
of
irreflexive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1846-1846
greater than
is an
instance
of
relation extended to quantities
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1843-1843
greater than
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1844-1844
greater than
is an
instance
of
transitive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1850-1850
greater than
is an
inverse
of
less than
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1847-1847
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 4676-4676
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
No TPTP formula. May not be expressible in strict first order.
english_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.
french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1904-1904
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 96-96
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 76-76
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26532-26532
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26531-26531
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26530-26530
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 37-37
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 249-249
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1007-1011
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 7440-7451
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 367-385
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 1370-1377
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 time interval
is an
instance
of
tremor
and
the physical system
is a
patient
of
the time interval
and
an entity
is an
instance
of
unit of length
and the amplitude
the time interval
is
another real number
the entity
(s) holds
during
the time interval
1 and the amplitude
the time interval
is
a third real number
the entity
(s) holds
during
the time interval
2 and
the time interval
1 takes place
during
the time interval
and
the time interval
2 takes place
during
the time interval
and
the time interval
1 happens
earlier
than
the time interval
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 15561-15578
If
edition
a positive integer
of
a kind of content bearing object
is
equal
to
another kind of content bearing object
and
edition
another positive integer
of
a kind of content bearing object
is
equal
to
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 3278-3285
If
a real number
is
equal
to the
average
of the numbers in
a list
and
length
of
the list
is
greater
than 0,
then
the real number
is
equal
to the
sum
of
the list
and
length
of
the list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3259-3269
If
a real number
is
equal
to the
sum
of
a list
and
length
of
the list
is
greater
than 1,
then
the real number
is
equal
to (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 3050-3071
If
a symbolic string
is
equal
to the reverse of
another symbolic string
and
a nonnegative integer
is
equal
to 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
an integer
is
equal
to the
ceiling
of (
the nonnegative integer
and 1) and 2 and
the other nonnegative integer
EW is
equal
to ((
the integer
and
the other nonnegative integer
) and
the integer
) and
a third symbolic string
is
equal
to the
sub
-string of
the other symbolic string
from
the other nonnegative integer
to (1 and
the other nonnegative integer
),
then
the third symbolic string
is
equal
to 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 3191-3203
If
a list
is
equal
to 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
the list
is
equal
to 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 1437-1449
If
a real number
is
equal
to
VarianceAverageFn
of
a list
with the mean of
a number
and
length
of
the list
is
greater
than 1,
then
the real number
is
equal
to (
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 2867-2885
If the maximum speed allowed by
a governor
is
a function quantity
and
a real number
miles per hour
(s) is
equal
to
a length measure
per
a time duration
and
another real number
miles per hour
(s) is
equal
to
another length measure
per
another time duration
and
the real number
is
greater
than
the other real number
and
the real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the real number
miles per hour
(s) and
the other real number
PROB is
equal
to 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 1575-1582
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 8758-8765
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
and
a time point
is
equal
to the
beginning
of
the time interval
and
another time point
is
equal
to 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 8767-8772
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
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 3123-3128
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 1753-1773
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 13909-13924
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 1382-1389
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 5997-6017
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 13844-13853
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 4711-4720
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
length
of
the other list
is
equal
to
length
of
the list
and 1th
element
of
the other list
is
equal
to 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
the other positive integer
th
element
of
the other list
is
equal
to
the other real number
and
the third positive integer
is a
member
of
the list
and
the other real number
is
equal
to
the third positive integer
th
element
of
the list
and
the fourth positive integer
is a
member
of
the other list
and
the other real number
MINUSONE is
equal
to (
the other real number
and 1) and
the other real number
MINUSONE is
equal
to
the fourth positive integer
th
element
of
the other list
and
the other positive integer
is
equal
to (
the third positive integer
and
the fourth positive integer
)
and
the positive integer
is
equal
to
length
of
the other list
and
the real number
is
equal
to
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 1885-1889
A real number
is
greater
than or equal to
another real number
if and only if
the real number
is
equal
to
the other real number
or
the real number
is
greater
than
the other real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1937-1941
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 7794-7802
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 1754-1759
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 1766-1771
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
value
of belongings of
the agent
is
equal
to
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 3984-4004
If
attention deficit hyperactivity disorder
is an
attribute
of
an agent
and
attention deficit hyperactivity disorder
is not an
attribute
of
another agent
and
the agent
is not
equal
to
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 1186-1201
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.
Mid-level-ontology.kif 24293-24303
If
a day
is a
birthdate
of
a human
and
the day
is an
instance
of the
day
a positive integer
,
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
the other kind of day
is
equal
to the
day
the positive integer
and
the integer
is
greater
than
another integer
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1538-1544
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 1522-1530
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 1597-1603
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 time interval
is an
instance
of
tremor
and
the physical system
is a
patient
of
the time interval
and
an entity
is an
instance
of
unit of length
and the amplitude
the time interval
is
another real number
the entity
(s) holds
during
the time interval
1 and the amplitude
the time interval
is
a third real number
the entity
(s) holds
during
the time interval
2 and
the time interval
1 takes place
during
the time interval
and
the time interval
2 takes place
during
the time interval
and
the time interval
1 happens
earlier
than
the time interval
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 18525-18530
If The
defalutMaxValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
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 13563-13572
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 13574-13585
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 13513-13524
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 13593-13602
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 18508-18513
If The
defaultMinValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
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 2568-2586
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 4875-4889
If the
greatest
common divisor of @ROW is
equal
to
an integer
and
the integer
is not
equal
to 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
the third integer
mod
the other integer
is
equal
to 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18370-18385
If
an organization
is
equal
to the
department
of
a kind of physical
in
another organization
and
the organization
2 is a part of the organization
the other organization
and
the organization
is not
equal
to
the organization
2 and
an entity
is an
instance
of
a kind of physical
and
the organization
is
interested
in
the entity
and
a real number
is
equal
to the
probability
of
the organization
is an
agent
of
another entity
and
the other entity
2 is
equal
to 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
greaterThan