overlapsTemporally
(=>
(
dateEstablished
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
BeginFn
(
WhenFn
?THING))))))
Mid-level-ontology.kif 985-990
If
a kind of time position
is a
date
established of
a physical
,
then there exists
a time interval
such that
the time interval
is an
instance
of
a kind of time position
and the
beginning
of the
time
of existence of
the physical
overlap
s
the time interval
(=>
(
dateUsed
?OBJECT ?DATE ?AGENT)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
patient
?PROCESS ?OBJECT)
(
agent
?PROCESS ?AGENT)
(
uses
?OBJECT ?AGENT)
(
overlapsTemporally
?DATE
(
WhenFn
?PROCESS)))))
Mid-level-ontology.kif 998-1006
If
an object
is
used
by
an agent
at
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
process
and
the object
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the agent
use
s
the object
and the
time
of existence of
the process
overlap
s
the time interval
(=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2359-2367
If
an agent
export
partner in period
another agent
for
a kind of time interval
,
then there exist
another time interval
and
a process
such that
the other time interval
is an
instance
of
a kind of time interval
and
the process
is an
instance
of
exporting
and the
time
of existence of
the process
overlap
s
the other time interval
and
the process
originate
s at
the agent
and
the process
end
s up at
the other agent
(=>
(
holdsDuring
?T
(
attribute
?H
Fasting
))
(
not
(
exists
(?P)
(
and
(
instance
?P
Eating
)
(
agent
?P ?H)
(
overlapsTemporally
?T
(
WhenFn
?P))))))
Mid-level-ontology.kif 30649-30656
If
fasting
is an
attribute
of
an agent
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
overlap
s
the time interval
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
If
tourniquet
is an
attribute
of
an object
holds
during
the object
IME,
then there exist
an agent
,
a process
and
a transfer
such that
the agent
is an
instance
of
human
and
the process
is an
instance
of
bleeding
and
the transfer
is an
instance
of
attaching
and
the agent
experience
s
the process
and
the transfer
end
s up at
the agent
and the object transferred in
the transfer
is
the object
and
the object
has the purpose there doesn't exist
the process
2 such that
the process
2 is an
instance
of
bleeding
and immediately
after
the
time
of existence of
the transfer
overlap
s the
time
of existence of
the process
2 and
the agent
experience
s
the process
2
(=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2647-2655
If
an agent
import
partner in period
another agent
for
a kind of time interval
,
then there exist
another time interval
and
a process
such that
the other time interval
is an
instance
of
a kind of time interval
and
the process
is an
instance
of
exporting
and the
time
of existence of
the process
overlap
s
the other time interval
and
the process
originate
s at
the other agent
and
the process
end
s up at
the agent
(=>
(
instance
?SHOWER
RainShowering
)
(
holdsDuring
(
WhenFn
?SHOWER)
(
exists
(?RAIN1 ?RAIN2 ?AREA)
(
and
(
instance
?RAIN1
Raining
)
(
instance
?RAIN2
Raining
)
(
instance
?AREA
Region
)
(
subProcess
?RAIN1 ?SHOWER)
(
subProcess
?RAIN2 ?SHOWER)
(
eventLocated
?RAIN1 ?AREA)
(
eventLocated
?RAIN2 ?AREA)
(
not
(
overlapsTemporally
(
WhenFn
?RAIN1)
(
WhenFn
?RAIN2)))))))
Weather.kif 2865-2879
If
a physical
is an
instance
of
rain showering
,
then there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
raining
and
the other entity
is an
instance
of
raining
and
the third entity
is an
instance
of
region
and
the entity
is a
subprocess
of
the physical
and
the other entity
is a
subprocess
of
the physical
and
the entity
is
located
at
the third entity
and
the other entity
is
located
at
the third entity
and the
time
of existence of
the other entity
doesn't
overlap
the
time
of existence of
the entity
holds
during
the
time
of existence of
the physical
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