Werner Ceusters

intervals have no internal gaps [ekm-1] - double negation issue?

2

The original reads: (cl:comment "intervals have no internal gaps [ekm-1]" (forall (i start end) (if (and (instance-of i temporal-interval i) (has-first-instant i start) (has-last-instant i end)) (not (exists (gap gap-start...

(cl:comment "participates-in is time indexed and has domain: independent-continuant but not spatial-region or specifically-dependent-continuant or generically-dependent-continuant and range: process [ild-1]" (forall (a b t) (if (participates-in a b t) (and...

Axiom [kqv-1] is too strong.

3

I assume that BFO still endorses the view expressed here: 'BFO ‘processes’ are conceived in such a way that multiple processes are able to occupy the same spatiotemporal region, as...

The comment for [vgn-1] is a bit more inadequate

2

``` (cl:comment "Entity is either universal or particular, so not all are instantiated. Instead make a predicate 'entity' analogous to particular universal [vgn-1]" (forall (x) (if (exists (t) (or (instance-of...

Comment of [csk-1] a tiny bit inadequate

8

``` (cl:comment "If a occurrent-part-of b then if a is an instance of process then b is an instance of process [csk-1]" (forall (p q) (if (occurrent-part-of p q) (if...

Elucidation of 'precedes'

2

The elucidation for 'precedes' reads (irrelevant parts omitted): "If o, o' are occurrents and t is the temporal extent of o and t' is the temporal extent of o' then...

[vvy-1] in light of [rph-1]

8

A point for discussion. I think it is not unreasonable to talk in terms of the history of, for example, a site. The following axiom would allow this: (cl:comment "every...

Is [fmm-1] too strong?

6

The comment reads: If a generically dependent continuant participates in a process p then, if it is concretized as a process, that process is part of p, and if concretized...