greaterThan
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 3290-3304
If
a process
is an
instance
of
atmospheric hazing
and
the process
is
located
at
a region
and
the region
is an
instance
of
geographic area
and
an object
is an
instance
of
atmospheric region
and
the object
is
above
to
the region
and
another object
located
at time the
time
of existence of
the process
for
the object
and the
visibility
at
the region
during the
time
of existence of
the process
is
a real number
kilometer
(s),
then
the real number
is
greater
than 2.0 and
the real number
is
less
than 5.0
(=>
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
greaterThan
?QUANT2 ?QUANT1))))
Merge.kif 11058-11071
If
a process
is an
instance
of
heating
and
an entity
is a
patient
of
the process
,
then there exist
another entity
,
a real number
and
another real number
such that
the other entity
is an
instance
of
temperature measure
and
equal
the entity
the other entity
(s) and
the real number
holds
during
the
beginning
of the
time
of existence of
the process
and
equal
the entity
the other entity
(s) and
the other real number
holds
during
the
end
of the
time
of existence of
the process
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 17834-17846
If
a process
is an
instance
of
insomnia
and
a cognitive agent
experience
s
the process
,
then there exist
another process
,
a time duration
and
the time duration
2 such that
the other process
is an
instance
of
sleeping
and
the cognitive agent
experience
s
the other process
and
duration
of the
time
of existence of
the other process
is
the time duration
and
the cognitive agent
desire
s
duration
of the
time
of existence of
the other process
is
the time duration
2 and
the time duration
2 is
greater
than
the time duration
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2334-2349
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2380-2395
If
a process
is an
instance
of
Hashimoto's thyroiditis
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 25451-25466
If
a process
is an
instance
of
lengthening
and
an entity
is a
patient
of
the process
,
then there exist
the process
1,
the process
2 and
another entity
such that
the other entity
is an
instance
of
unit of length
and the
length
of
the entity
is
the process
1
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and the
length
of
the entity
is
the process
2
the other entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the process
2 is
greater
than
the process
1
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1549-1572
If
an object
is an
instance
of
lever
and
a process
is an
instance
of
pushing
and
a physical
is an
instance
of
motion
and
an unit of measure
is an
instance
of
unit of length
and
the process
end
s up at
another object
and one end of
the object
is
the other object
and one end of
the object
is
a third object
and
equal
the other object
and
the third object
and
the other object
is
located
at
the process
1 holds
during
immediately
before
the
time
of existence of
the physical
and
the other object
is
located
at
the process
2 holds
during
immediately
after
the
time
of existence of
the physical
and
the third object
is
located
at
the process
3 holds
during
immediately
before
the
time
of existence of
the physical
and
the third object
is
located
at
the process
4 holds
during
immediately
after
the
time
of existence of
the physical
and the
distance
between
the process
1 and
the process
2 is
a real number
the unit of measure
(s) and the
distance
between
the process
3 and
the process
4 is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 9107-9114
If
a process
is an
instance
of
large group process
and
a collection
is an
instance
of
collection
and
a physical
is a
member
of
the collection
and
the physical
is an
involved
in event of
the process
and
an integer
is a
member
count of
the collection
,
then
the integer
is
greater
than 10
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 5212-5230
If
a time interval
is an
instance
of
low tide
and
another time interval
is an
instance
of
high tide
and
the time interval
is
located
at
an object
and
the other time interval
is
located
at
the object
and
a third time interval
is an
instance
of
day
and
the third time interval
overlap
s
the time interval
and
the third time interval
overlap
s
the other time interval
,
then there exist
a real number
,
another real number
and
an entity
such that
the entity
is an
instance
of
unit of length
and
the real number
the entity
(s) is a
water
depth of
the object
holds
during
the time interval
and
the other real number
the entity
(s) is a
water
depth of
the object
holds
during
the other time interval
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MAF
MovingAwayFrom
)
(
instance
?RELATIVEOBJECT
Object
)
(
instance
?REFERENCEOBJECT
Object
)
(
patient
?MAF ?RELATIVEOBJECT)
(
patient
?MAF ?REFERENCEOBJECT))
(
exists
(?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)
(
and
(
instance
?BEFOREDISTANCE
RealNumber
)
(
instance
?AFTERDISTANCE
RealNumber
)
(
moves
?MAF ?RELATIVEOBJECT)
(
holdsDuring
(
BeginFn
(
WhenFn
?MAF))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?BEFOREDISTANCE ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?MAF))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?AFTERDISTANCE ?U)))
(
greaterThan
?AFTERDISTANCE ?BEFOREDISTANCE))))
Mid-level-ontology.kif 33729-33749
If
a motion
is an
instance
of
moving away from
and
an object
is an
instance
of
object
and
an entity
is an
instance
of
object
and
the object
is a
patient
of
the motion
and
the entity
is a
patient
of
the motion
,
then there exist
the entity
,
a real number
,, ,
another real number
and
another entity
such that
the real number
is an
instance
of
real number
and
the other real number
is an
instance
of
real number
and
the object
moves during
the motion
and the
distance
between
the object
and
the entity
is
the real number
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the motion
and the
distance
between
the object
and
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the motion
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 11886-11901
If
a process
is an
instance
of
muscle relaxing
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
muscle
and the
length
of
the entity
is
a real number
another entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
length
of
the entity
is
another real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 11864-11879
If
a process
is an
instance
of
muscular contraction
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
muscle
and the
length
of
the entity
is
a real number
another entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
length
of
the entity
is
another real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?MT
MovingTowards
)
(
instance
?RELATIVEOBJECT
Object
)
(
instance
?REFERENCEOBJECT
Object
)
(
patient
?MT ?REFERENCEOBJECT)
(
patient
?MT ?RELATIVEOBJECT))
(
exists
(?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE)
(
and
(
instance
?BEFOREDISTANCE
RealNumber
)
(
instance
?AFTERDISTANCE
RealNumber
)
(
moves
?MT ?RELATIVEOBJECT)
(
holdsDuring
(
BeginFn
(
WhenFn
?MT))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?BEFOREDISTANCE ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?MT))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?AFTERDISTANCE ?U)))
(
greaterThan
?BEFOREDISTANCE ?AFTERDISTANCE))))
Mid-level-ontology.kif 33756-33776
If
a motion
is an
instance
of
moving towards
and
an object
is an
instance
of
object
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the motion
and
the object
is a
patient
of
the motion
,
then there exist
the entity
,
a real number
and
another real number
such that
the real number
is an
instance
of
real number
and
the other real number
is an
instance
of
real number
and
the object
moves during
the motion
and the
distance
between
the object
and
the entity
is
the real number
another entity
(s) holds
during
the
beginning
of the
time
of existence of
the motion
and the
distance
between
the object
and
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the motion
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
If
a process
is an
instance
of
moving away from people
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
,, ,
a real number
and
another real number
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
unit of length
and the
distance
between
the process
and
the agent
is
the real number
the other entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
the other real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
If
a process
is an
instance
of
moving towards people
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
,, ,
a real number
and
another real number
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
unit of length
and the
distance
between
the process
and
the agent
is
the real number
the other entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
the other real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
If
an object
is an
instance
of
human
and
a fever
is an
attribute
of
the object
,
then there exists
a real number
such that the
measure
of
the object
is
the real number
fahrenheit degree
(s) and
the real number
is
greater
than 98.6
(=>
(
and
(
instance
?P
PerniciousAnemia
)
(
experiencer
?P ?H1)
(
amount
VitaminB12
?H1
(
MeasureFn
?N1 ?U))
(
amount
VitaminB12
?H2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
)
(
not
(
equal
?H1 ?H2)))
(
greaterThan
?N2 ?N1))
Medicine.kif 2696-2705
If
a process
is an
instance
of
pernicious anemia
and
an agent
experience
s
the process
and
amount
cobalamin
,
the agent
and
a real number
an unit of measure
(s) and
amount
cobalamin
,
a corpuscular object
and
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the corpuscular object
and
equal
the agent
and
the corpuscular object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?P
Pulling
)
(
agent
?P ?A)
(
patient
?P ?PULLED)
(
destination
?P ?D))
(
holdsDuring
?P
(
and
(
distance
?A ?D ?SMALLER)
(
distance
?PULLED ?D ?LARGER)
(
greaterThan
?LARGER ?SMALLER))))
Military.kif 836-846
If
a process
is an
instance
of
pulling
and
an agent
is an
agent
of
the process
and
the process
ULLED is a
patient
of
the process
and
the process
end
s up at
another entity
,
then the
distance
between
the agent
and
the other entity
is
a third entity
and the
distance
between
the process
ULLED and
the other entity
is
a fourth entity
and
the fourth entity
is
greater
than
the third entity
holds
during
the process
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 19189-19207
If
a time interval
is an
instance
of
pulling
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 19167-19185
If
a time interval
is an
instance
of
pushing
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?Particle
Boulder
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
greaterThan
?Size 256.0))
Geography.kif 7648-7653
If
a self connected object
is an
instance
of
boulder
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then
the real number
is
greater
than 256.0
(=>
(
and
(
instance
?Particle
Cobble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
256.0 ?Size)
(
greaterThan
?Size 64.0)))
Geography.kif 7625-7632
If
a self connected object
is an
instance
of
cobble
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then 256.0 is
greater
than
the real number
and
the real number
is
greater
than 64.0
(=>
(
and
(
instance
?Particle
Pebble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
64.0 ?Size)
(
greaterThan
?Size 2.0)))
Geography.kif 7602-7609
If
a self connected object
is an
instance
of
pebble
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then 64.0 is
greater
than
the real number
and
the real number
is
greater
than 2.0
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 21136-21148
If
a process
is an
instance
of
chemical reduction
and
an entity
is a
patient
of
the process
and
a real number
is an
electron
number of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
another real number
such that
the other real number
is
greater
than
the real number
and
the other real number
is an
electron
number of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?R
Rotating
)
(
patient
?R ?TRACK)
(
instance
?TRACK
ContinuousTrack
))
(
exists
(?COLL ?MEM ?TREAD ?R2)
(
and
(
instance
?COLL
Collection
)
(
member
?MEM ?COLL)
(
instance
?MEM
Wheel
)
(
memberCount
?MEM ?I)
(
greaterThan
?I 2)
(
part
?COLL ?TRACK)
(
part
?TREAD ?TRACK)
(
instance
?TREAD
CorpuscularObject
)
(
shape
?TREAD
LongAndThin
)
(
attribute
?TREAD
Pliable
)
(
located
?COLL ?TREAD)
(
instance
?R2
Rotating
)
(
causes
?R2 ?R))))
Military.kif 193-212
If
a process
is an
instance
of
rotating
and
an object
is a
patient
of
the process
and
the object
is an
instance
of
Continuous track
,
then there exist
a collection
,
another collection
,, ,
another object
and
the process
2 such that
the collection
is an
instance
of
collection
and
the other collection
is a
member
of
the collection
and
the other collection
is an
instance
of
wheel
and
an integer
is a
member
count of
the other collection
and
the integer
is
greater
than 2 and
the collection
is a
part
of
the object
and
the other object
is a
part
of
the object
and
the other object
is an
instance
of
corpuscular object
and
the other object
is
long and thin
and
pliable
is an
attribute
of
the other object
and
the collection
is
located
at
the other object
and
the process
2 is an
instance
of
rotating
and
the process
2
cause
s
the process
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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