starts
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
AdventSunday
)
(
starts
?T2 ?T1))))
Media.kif 317-322
Wenn
TimeInterval
ist ein
fall
von
Advent
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
AdventSunday
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
instance
?T1
AdventSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
starts
?T1 ?T2))))
Media.kif 327-332
Wenn
TimeInterval
ist ein
fall
von
AdventSunday
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Advent
%n{nicht} und
** TimeInterval
beginnt
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Weekend
%n{nicht},
dann es gibt
** TimeInterval
und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Saturday
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
Sunday
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
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