temporalPart
(=>
(
holdsDuring
?TIME
(
attribute
?AGENT
Surprise
))
(
exists
(?PART ?PROP)
(
and
(
temporalPart
?PART
(
PastFn
?TIME))
(
holdsDuring
?PART
(
expects
?AGENT ?PROP))
(
holdsDuring
?TIME
(
truth
?PROP
False
)))))
Mid-level-ontology.kif 19348-19354
If
surprise
is an
attribute
of
an entity
holds
during
a time position
,
then there exist
another time position
and
another entity
such that
the other time position
is a
part
of
before
the time position
and
the entity
expects
the other entity
will be true holds
during
the other time position
and
the other entity
is
false
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
attribute
?PERSON
Drunk
))
(
exists
(?PAST)
(
and
(
temporalPart
?PAST
(
PastFn
?TIME))
(
holdsDuring
?PAST
(
exists
(?DRINK ?ALCOHOL)
(
and
(
instance
?DRINK
Drinking
)
(
patient
?DRINK ?ALCOHOL)
(
instance
?ALCOHOL
AlcoholicBeverage
)
(
agent
?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8673-8684
If
drunk
is an
attribute
of
an entity
holds
during
a time position
,
then there exists
another time position
such that
the other time position
is a
part
of
before
the time position
and there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
drinking
and
the third entity
is a
patient
of
the other entity
and
the third entity
is an
instance
of
alcoholic beverage
and
the entity
is an
agent
of
the other entity
holds
during
the other time position
(=>
(
holdsDuring
?TIME
(
instance
?AREA
MilitaryFront
))
(
exists
(?BATTLE)
(
and
(
instance
?BATTLE
Battle
)
(
eventLocated
?BATTLE ?AREA)
(
temporalPart
?TIME ?BATTLE))))
Mid-level-ontology.kif 9018-9024
If
an object
is an
instance
of
military front
holds
during
a time position
,
then there exists
a process
such that
the process
is an
instance
of
battle
and
the process
is
located
at
the object
and
the time position
is a
part
of
the process
(=>
(
instance
?ANAT
AnatomicalStructure
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
part
?ANAT ?ORGANISM)))))
Merge.kif 14921-14927
If
an entity
is an
instance
of
anatomical structure
,
then there exist
a physical
and
a time position
such that
the physical
is an
instance
of
organism
and
the time position
is a
part
of the
time
of existence of
the physical
and
the entity
is a
part
of
the physical
holds
during
the time position
(=>
(
instance
?C
Convoy
)
(
exists
(?V1 ?V2 ?TIME)
(
and
(
not
(
equal
?V1 ?V2))
(
instance
?V1
Vehicle
)
(
instance
?V2
Vehicle
)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?C))
(
holdsDuring
?TIME
(
and
(
member
?V1 ?C)
(
member
?V2 ?C))))))
Mid-level-ontology.kif 22334-22346
If
a physical
is an
instance
of
convoy
,
then there exist
an entity
,
another entity
and
a time position
such that
the entity
is not
equal
to
the other entity
and
the entity
is an
instance
of
vehicle
and
the other entity
is an
instance
of
vehicle
and
the time position
is an
instance
of
time interval
and
the time position
is a
part
of the
time
of existence of
the physical
and
the entity
is a
member
of
the physical
and
the other entity
is a
member
of
the physical
holds
during
the time position
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
If
a process
is an
instance
of
disappearing
,
then there exist
an entity
,
an agent
,, ,
another process
and
a time position
such that
the other process
is an
instance
of
searching
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other process
and
the agent
is an
agent
of
the other process
and
the entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
and
the entity
is a
patient
of
the other process
and
the time position
is an
instance
of
time interval
and
the time position
is a
part
of the
time
of existence of
the other process
and the statement there exists
the process
ISC such that
the process
ISC is an
instance
of
discovering
and
the agent
is an
agent
of
the process
ISC and
the entity
is a
patient
of
the process
ISC doesn't have the
modal
force
of
possibility
holds
during
the time position
(=>
(
instance
?INTERVAL
TimeInterval
)
(
exists
(?POINT)
(
and
(
instance
?POINT
TimePoint
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7947-7952
If
a time position
is an
instance
of
time interval
,
then there exists
another time position
such that
the other time position
is an
instance
of
time point
and
the other time position
is a
part
of
the time position
(=>
(
instance
?O
OlympicGames
)
(
or
(
exists
(?W)
(
and
(
instance
?W
WinterSeason
)
(
temporalPart
(
WhenFn
?O) ?W)))
(
exists
(?S)
(
and
(
instance
?S
SummerSeason
)
(
temporalPart
(
WhenFn
?O) ?S)))))
Sports.kif 1340-1350
If
a physical
is an
instance
of
olympic games
,
then there exists
a time position
such that
the time position
is an
instance
of
winter season
and the
time
of existence of
the physical
is a
part
of
the time position
or there exists
another time position
such that
the other time position
is an
instance
of
summer season
and the
time
of existence of
the physical
is a
part
of
the other time position
(=>
(
instance
?PART
BodyPart
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
component
?PART ?ORGANISM)))))
Merge.kif 14955-14961
If
an entity
is an
instance
of
body part
,
then there exist
a physical
and
a time position
such that
the physical
is an
instance
of
organism
and
the time position
is a
part
of the
time
of existence of
the physical
and
the entity
is a
component
of
the physical
holds
during
the time position
(=>
(
instance
?POINT
TimePoint
)
(
exists
(?INTERVAL)
(
and
(
instance
?INTERVAL
TimeInterval
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7940-7945
If
a time position
is an
instance
of
time point
,
then there exists
another time position
such that
the other time position
is an
instance
of
time interval
and
the time position
is a
part
of
the other time position
(=>
(
instance
?S
Scar
)
(
exists
(?T ?OP ?L)
(
and
(
temporalPart
?T
(
PastFn
(
WhenFn
?S)))
(
holdsDuring
?T
(
instance
?L
Lesion
))
(
instance
?OP
OrganOrTissueProcess
)
(
patient
?OP ?L)
(
result
?OP ?S))))
Mid-level-ontology.kif 9408-9418
If
a physical
is an
instance
of
scar
,
then there exist
a time position
,
a process
and
an entity
such that
the time position
is a
part
of
before
the
time
of existence of
the physical
and
the entity
is an
instance
of
lesion
holds
during
the time position
and
the process
is an
instance
of
organ or tissue process
and
the entity
is a
patient
of
the process
and
the physical
is a
result
of
the process
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
If
a time interval
meet
s
another time interval
,
then there doesn't exist
a time position
such that
the time position
is an
instance
of
time interval
and
the time position
is a
part
of
the time interval
and
the time position
is a
part
of
the other time interval
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8234-8240
If
a time interval
overlap
s
another time interval
,
then there exists
a time position
such that
the time position
is an
instance
of
time interval
and
the time position
is a
part
of
the other time interval
and
the time position
is a
part
of
the time interval
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8290-8296
If
a time interval
overlap
s
another time interval
,
then there exists
a time position
such that
the time position
is an
instance
of
time position
and
the time position
is a
part
of
the other time interval
and
the time position
is a
part
of
the time interval
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
If
a process
is a
subprocess
of
another process
,
then the
time
of existence of
the process
is a
part
of the
time
of existence of
the other process
(=>
(
time
?THING ?POS)
(
temporalPart
?POS
(
WhenFn
?THING)))
Merge.kif 7974-7977
If
a physical
exists
during
a time position
,
then
the time position
is a
part
of the
time
of existence of
the physical
(=>
(
typicalTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1445-1451
If a
a kind of process
is typically a part of a
another kind of process
,
then there exist
a time position
and
another time position
such that
the time position
is an
instance
of
another kind of process
and
the other time position
is an
instance
of
a kind of process
and
the other time position
is a
part
of
the time position
(=>
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1485-1491
If a
a kind of process
typically contains a
another kind of process
,
then there exist
a time position
and
another time position
such that
the time position
is an
instance
of
a kind of process
and
the other time position
is an
instance
of
another kind of process
and
the other time position
is a
part
of
the time position
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