Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 1765-1767
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1761-1761
The number 1 argument of
greater than
is an
instance
of
quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1762-1762
The number 2 argument of
greater than
is an
instance
of
quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1755-1755
greater than
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1758-1758
greater than
is an
instance
of
irreflexive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1759-1759
greater than
is an
instance
of
relation extended to quantities
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1756-1756
greater than
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1757-1757
greater than
is an
instance
of
transitive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1763-1763
greater than
is an
inverse
of
less than
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1760-1760
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 4394-4394
Southern ocean
comparative
area
greater than
for 2 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.
chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26464-26464
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26463-26463
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26462-26462
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 951-955
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 6899-6910
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 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.
Cars.kif 803-816
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 the amplitude
the time interval
is
a quantity
holds
during
the time interval
1 and the amplitude
the time interval
is
another quantity
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 quantity
is
greater
than
the other quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14381-14398
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 3166-3173
If
a number
is
equal
to the
average
of the numbers in
a list
and
length
of
the list
is
greater
than 0,
then
the 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 3147-3157
If
a number
is
equal
to the
sum
of
a list
and
length
of
the list
is
greater
than 1,
then
the 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 3038-3059
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 3083-3095
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 1060-1072
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1059-1064
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 2869-2883
If the maximum speed allowed by
a governor
is
a function quantity
and
a real number
is
equal
to the
probability
of the
measure
of
the governor
is the
per
of
a physical quantity
and
another physical quantity
and
another real number
is
equal
to the
probability
of the
measure
of
the governor
is the
per
of
a third physical quantity
and
a fourth physical quantity
and the
per
of
the physical quantity
and
the other physical quantity
is
greater
than the
per
of
the third physical quantity
and
the fourth physical quantity
,
then
the other real number
is
greater
than
the real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1352-1358
If
a geographic area
is an
instance
of
desert climate zone
and
a time duration
is a
subclass
of
month
and
the geographic area
average
temperature for period
the time duration
for
a temperature measure
and
the temperature measure
is
greater
than 18
celsius degree
(s),
then
the geographic area
is an
instance
of
subtropical desert climate zone
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1530-1536
If
a geographic area
is an
instance
of
geographic area
and
a time duration
is a
subclass
of
month
and
the geographic area
average
temperature for period
the time duration
for
a temperature measure
and 10
celsius degree
(s) is
greater
than
the temperature measure
,
then
the geographic area
is an
instance
of
polar climate zone
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 437-447
If
a process
is an
instance
of
auction
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
the object
is a
patient
of
the process
and
the agent
bids
a currency measure
for
the object
and
the other agent
bids
another currency measure
for
the object
and
the currency measure
is
greater
than
the other currency measure
,
then
the process
end
s up at
the agent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8196-8203
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 8205-8210
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 491-497
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a quantity
year duration
(s) holds
during
a time position
and
the quantity
is
greater
than 12 and
the quantity
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 2920-2925
If
an object
is an
instance
of
harbor
and
the object
equipment
count
ship berth
for
a quantity
and
the quantity
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.
Merge.kif 12869-12884
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
UnitOfTemperature
and the
measure
of
the entity
is
a quantity
the unit of measure
(s) holds
during
a time interval
and
the quantity
is
greater
than
the other real number
and
the quantity
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.
Merge.kif 12804-12813
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12815-12824
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
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and
another real number
kelvin degree
(s) is a
melting
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
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12826-12835
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
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and
another real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the other real number
is
greater
than 29.92 and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8164-8171
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another 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 integer
is
greater
than
the integer
,
then
the time point
happens
before
the other time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8173-8178
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
the other integer
is
greater
than
the integer
,
then
the time interval
happens
earlier
than
the other time interval
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 188-196
If
a real number
an unit of measure
(s) is a
length
of broad gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
UnitOfLength
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
broad gauge railway
and
the physical
is
located
at
the geographic area
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 4421-4429
Open sea
is an
attribute
of
an object
if and only if
the object
is an
instance
of
salt water area
and
the object
is not an
instance
of
landlocked water
and the
distance
between
a physical
and
the object
is
a length measure
and
the length measure
is
greater
than 5
nautical mile
(s)
No TPTP formula. May not be expressible in strict first order.
People.kif 285-306
A real number
is an
average
of
a list
if and only if there exists
another list
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
a positive integer
if
the positive integer
is a
member
of
the other list
,
then there exist
a number
,
the number
MINUSONE,, ,
another positive integer
and
a third positive integer
such that
the number
is
greater
than 1 and
the number
is
less
than or equal to
length
of
the other list
and
the positive integer
th
element
of
the other list
is
equal
to
the number
and
the other positive integer
is a
member
of
the list
and
the number
is
equal
to
the other positive integer
th
element
of
the list
and
the third positive integer
is a
member
of
the other list
and
the number
MINUSONE is
equal
to (
the number
and 1) and
the number
MINUSONE is
equal
to
the third positive integer
th
element
of
the other list
and
the positive integer
is
equal
to (
the other positive integer
and
the third positive integer
)
and
a fourth positive integer
is
equal
to
length
of
the other list
and
the real number
is
equal
to
the fourth positive integer
th
element
of
the other list
and
the fourth positive integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1798-1802
A quantity
is
greater
than or equal to
another quantity
if and only if
the quantity
is
equal
to
the other quantity
or
the quantity
is
greater
than
the other quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1850-1854
A quantity
is an
instance
of
positive real number
if and only if
the quantity
is
greater
than 0 and
the quantity
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7371-7379
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
UnitOfLength
,
then
the real number
is
greater
than
the other real number
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1707-1712
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 1719-1724
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 1115-1123
If
family-style portions
is an
attribute
of
an object
and the
measure
of
the object
is
a physical quantity
and
family-style portions
is not an
attribute
of
another object
and the
measure
of
the other object
is
another physical quantity
and
the object
is an
instance
of
a set or class
and
the other object
is an
instance
of
the set or class
,
then
the physical quantity
is
greater
than
the other physical quantity
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 193-210
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
and
another entity
such that
the entity
is an
instance
of
zakat
and
a third entity
is an
instance
of
year
and
the third entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the third 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
a fourth entity
and
the fourth 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.
Hotel.kif 1140-1152
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a set or class
and
the set or class
is a
subclass
of
hotel unit
,
then there exist
another object
,
a physical quantity
and
another physical quantity
such that
the other object
is an
immediate
instance of
the set or class
and the
measure
of
the other object
is
the physical quantity
and the
measure
of
the object
is
the other physical quantity
and
the physical quantity
is an
instance
of
area measure
and
the other physical quantity
is an
instance
of
area measure
and
the other physical quantity
is
greater
than
the physical quantity
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1544-1548
If
a geopolitical area
capital
expenditures of area in period
a currency measure
for
a kind of time interval
and
the geopolitical area
annual
expenditures of area in period
another currency measure
for
a kind of time interval
,
then
the other currency measure
is
greater
than
the currency measure
No TPTP formula. May not be expressible in strict first order.
Cars.kif 803-816
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 the amplitude
the time interval
is
a quantity
holds
during
the time interval
1 and the amplitude
the time interval
is
another quantity
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 quantity
is
greater
than
the other quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17110-17115
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 11164-11173
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
CompositeUnitOfMeasure
,
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 11174-11185
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a set or class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the set or 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 set or 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 11119-11127
If the
maximum
expected radius of
a kind of object
is
a length measure
and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement the
radius
of
the other object
is
the length measure
ADIUS and
the length measure
ADIUS is
greater
than
the length measure
has the
modal
force
of
unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11193-11202
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
CompositeUnitOfMeasure
,
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 17094-17099
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.
WMD.kif 816-820
If
a function quantity
is an
effective
dose of
a kind of biochemical agent
and
another function quantity
is a
lethal
dose of
a kind of biochemical agent
,
then
the other function quantity
is
greater
than
the function quantity
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2572-2588
If the idle speed of
an internal combustion engine
is the rotation of
a rotating
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
during
the time duration
holds
during
the
time
of existence of
the process
,
then the statement
the entity
is
greater
than
the rotating
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16070-16084
If
an organization
is
equal
to the
department
of
a kind of physical
in
another organization
and
the organization
2 は組織
the other organization
の一部では %n and
the organization
is not
equal
to
the organization
2 and
an entity
is an
instance
of
a kind of physical
and
a cognitive agent
is
interested
in
the entity
and
the cognitive agent
1 is
equal
to the
probability
of
the organization
is an
agent
of
the cognitive agent
and
the cognitive agent
2 is
equal
to the
probability
of
the organization
2 is an
agent
of
the cognitive agent
,
then
the cognitive agent
1 is
greater
than
the cognitive agent
2
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3607-3615
If
an agent
is an
evening
phone of
a symbolic string
and
a kind of day
is an
instance
of
day
,
then there exists
a telephone
such that
the telephone
is a
phone
number of
the symbolic string
and
the agent
possess
es
the telephone
holds
during
the
hour
the symbolic string
and
the symbolic string
is
greater
than 18
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2869-2883
If the maximum speed allowed by
a governor
is
a function quantity
and
a real number
is
equal
to the
probability
of the
measure
of
the governor
is the
per
of
a physical quantity
and
another physical quantity
and
another real number
is
equal
to the
probability
of the
measure
of
the governor
is the
per
of
a third physical quantity
and
a fourth physical quantity
and the
per
of
the physical quantity
and
the other physical quantity
is
greater
than the
per
of
the third physical quantity
and
the fourth physical quantity
,
then
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 28839-28860
If
dieting
is an
attribute
of
an agent
holds
during
a time interval
and
dieting
is not an
attribute
of
the agent
holds
during
another time interval
and
an object
is an
instance
of
meal
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
the object
is a
resource
for
the process
and the
time
of existence of
the process
takes place
during
the time interval
and the
measure
of
the object
is
a real number
calorie
(s) and
another object
is an
instance
of
meal
and
another process
is an
instance
of
eating
and
the agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
and the
time
of existence of
the other process
takes place
during
the other time interval
and the
measure
of
the other object
is
another real number
calorie
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1562-1566
If
a quantity
is a
capital
expenditures of area of
an entity
holds
during
a time position
and
another quantity
is an
annual
expenditures of area of
the entity
holds
during
the time position
,
then
the other quantity
is
greater
than
the quantity
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
