finishes
(=>
(
instance
?NEGOTIATE
Negotiating
)
(
hasPurpose
?NEGOTIATE
(
exists
(?COMMIT)
(
and
(
instance
?COMMIT
Committing
)
(
subProcess
?COMMIT ?NEGOTIATE)
(
finishes
(
WhenFn
?COMMIT)
(
WhenFn
?NEGOTIATE))))))
Mid-level-ontology.kif 19713-19719
If
a physical
is an
instance
of
negotiating
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
committing
and
the entity
is a
subprocess
of
the physical
and the
time
of existence of
the entity
finish
es the
time
of existence of
the physical
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8923-8930
If
a time interval
is an
instance
of
night time
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
sunrise
and
the third time interval
is an
instance
of
sunset
and
the third time interval
start
s
the time interval
and
the other time interval
finish
es
the time interval
(=>
(
instance
?PM
PostMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
12 ?D))
(
starts
?HOUR1 ?PM)
(
instance
?HOUR2
(
HourFn
24 ?D))
(
finishes
?HOUR2 ?PM))))
Mid-level-ontology.kif 19108-19115
If
a time interval
is an
instance
of
post meridiem
,
then there exist
a kind of day
,
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of the
hour
12 and
the other time interval
start
s
the time interval
and
the third time interval
is an
instance
of the
hour
24 and
the third time interval
finish
es
the time interval
(=>
(
instance
?S
(
StopFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
finishes
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 438-443
If
a physical
is an
instance
of the
stop
of
a process
,
then there exists
another physical
such that
the other physical
is an
instance
of
the process
and the
time
of existence of
the physical
finish
es the
time
of existence of
the other physical
(=>
(
instance
?WEEKEND
Weekend
)
(
exists
(?SATURDAY ?SUNDAY)
(
and
(
instance
?SATURDAY
Saturday
)
(
instance
?SUNDAY
Sunday
)
(
starts
?SATURDAY ?WEEKEND)
(
finishes
?SUNDAY ?WEEKEND)
(
meetsTemporally
?SATURDAY ?SUNDAY))))
Mid-level-ontology.kif 19120-19128
If
a time interval
is an
instance
of
weekend
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
Saturday
and
the third time interval
is an
instance
of
Sunday
and
the other time interval
start
s
the time interval
and
the third time interval
finish
es
the time interval
and
the other time interval
meet
s
the third time interval
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