finishes |
(=> (instance ?NEGOTIATE Negotiating) (hasPurpose ?NEGOTIATE (exists (?COMMIT) (and (instance ?COMMIT Committing) (subProcess ?COMMIT ?NEGOTIATE) (finishes (WhenFn ?COMMIT) (WhenFn ?NEGOTIATE)))))) |
Mid-level-ontology.kif 19714-19720 | |
(=> (instance ?NIGHT NightTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?SET ?NIGHT) (finishes ?RISE ?NIGHT)))) |
Merge.kif 8901-8908 | |
(=> (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 19109-19116 | |
(=> (instance ?S (StopFn ?P)) (exists (?I) (and (instance ?I ?P) (finishes (WhenFn ?S) (WhenFn ?I))))) |
Mid-level-ontology.kif 438-443 | |
(=> (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 |