starts
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
AdventSunday
)
(
starts
?T2 ?T1))))
Media.kif 317-322
If
a time interval
is an
instance
of
advent
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
advent sunday
and
the other time interval
start
s
the time interval
(=>
(
instance
?T1
AdventSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
starts
?T1 ?T2))))
Media.kif 327-332
If
a time interval
is an
instance
of
advent sunday
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
advent
and
the time interval
start
s
the other time interval
(=>
(
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 19121-19129
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