time |
![]() |
(=> (temporalPart ?POS (WhenFn ?THING)) (time ?THING ?POS)) |
Merge.kif 8039-8042 |
|
(=> (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))) (and (time ?PHYS ?TIME) (instance ?TIME TimePoint))) |
Merge.kif 8310-8319 |
|
![]() |