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 |
|