starts

-------------------------


(=>
    (instance ?T1 Advent)
    (exists (?T2)
        (and
            (instance ?T2 AdventSunday)
            (starts ?T2 ?T1))))
Media.kif 317-322
(=>
    (instance ?T1 AdventSunday)
    (exists (?T2)
        (and
            (instance ?T2 Advent)
            (starts ?T1 ?T2))))
Media.kif 327-332
(=>
    (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


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