BFO-2020

BFO-2020 copied to clipboard

Add an axiom to this effect, per discussion with Barry Smith

alanruttenberg

e.g. [bfo:evu-1] vs [evu-1] Add a comment to the ontology defining the bfo: prefix.

alanruttenberg

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

wceusters

Use of the '@' symbol in Common Logic files causes Hets to throw a parsing error

6

The cl:comment in the first few lines of each of these files contains an email address, which of course uses an '@' symbol. Whenever I try to load this file...

dillerm

Reminder for list of theorems and their proofs

1

wceusters

Using terms 'Domain' and 'Range' for ternary relations in bfo-2020-terms is confusing

2

For example `continuant part of` is a ternary relation, thus it might be good to append some explanation what is meant by Domain/Range (e.g. that temporal parameter is neglected when...

psiotwo

Processes should not depend on material entities participating

10

As Ludger Jansen convincingly argues in his "Gruppen und Institutionen“, social institutions like corporations can be immaterial independent continuants (pp. 160 f.). In my opinion, we need to allow those...

nklsbckmnn

Problem (?) with axiom "regions-precede-if-they-meet" [suk-1]

8

The axiom "regions-precede-if-they-meet", [suk-1], says, in prover9 syntax: > all i1 all i2 all l1 all f2 ((((-(bfoiof(i1,tinstbcat,i1))) & (-(bfoiof(i2,tinstbcat,i2))) & (lastInstantOf(l1,i1)) & (firstInstantOf(f2,i2)) & ((l1) = (f2)))) -> (precedes(i1,i2)))...

kataph

Identity criteria for temporal parts of processes?

3

In https://github.com/CommonCoreOntology/CommonCoreOntologies/issues/112#issuecomment-795868945 I mention that I think that the following make sense. I don't remember if there's already an axiom to that effect or whether it is entailed, so this...

alanruttenberg

material basis can't be an immaterial entity, though an immaterial entity bear a disposition.

1

I'm not sure what to do about this. The example given is a hole in a piece of wood that has a disposition to break 'because' of the hole. The...

alanruttenberg