time |
![]() |
(=> (temporalPart ?POS (WhenFn ?THING)) (time ?THING ?POS)) |
Merge.kif 7991-7994 | |
(=> (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))) (and (time ?PHYS ?TIME) (instance ?TIME TimePoint))) |
Merge.kif 8234-8243 |
![]() |