BFO-2020

BFO-2020 copied to clipboard

Questions about occupies-spatial-region

17

I ran this scenario (alongside BFO-2020) through the reasoner that Werner and I use (natural-language summary below): t([0,occupies-spatial-region,material-entity-1,region-1,time-1]). t([0,instance-of,material-entity-1,material-entity,time-1]). ``` (cl:comment "at time-1 there's a part of region-1 that isn't...

michaelrabenberg

See commit 62640d3 The bug is in the macro that generates the dissective axioms. Occurs in 4 axioms across CL, repeated in P9, PDFs. Fixed in source - will close...

alanruttenberg

domain of exists_at not well aligned with its Elucidation in bfo-2020-terms

22

In `bfo-2020-terms.xlsx` (BTW, pity not to see it in some non-proprietary format like CSV), on line 5 (exists_at): While _Elucidation_ speaks about "relation between a **particular** and ..", the _Domain_...

psiotwo

show that the bearer of an sdc/gdc must participate in a process

4

@alanruttenberg Following up on this [COB issue](https://github.com/OBOFoundry/COB/issues/40#issuecomment-1228553619). > The domain of the participates in relations are sdc, gdc, or ic but not spatial region. Together with the axioms that there...

wdduncan

The spatial regions that continuant fiat boundaries occupy

77

Fiat points, lines, and surfaces occupy zero-, one-, and two-dimensional spatial regions, respectively. I *think*, however, that the axioms don't imply as much. Am I right about this?

michaelrabenberg

Material entities (and sites) occupy 3D spatial regions (right?)

20

BFO literature seems consistently to say: (A) Every material entity occupies a 3D spatial region. (B) Every site occupies a 3D spatial region. But there appears to be no axiom(s)...

michaelrabenberg

[ysp-1] follows from [kfj-1] and [ixo-1]

1

Here are three axioms: (cl:comment "If a has-continuant-part b then if a is an instance of fiat-surface then b is an instance of continuant-fiat-boundary [ysp-1]" (forall (p q t) (if...

michaelrabenberg

Spreadsheet errors, and relations absent from OWL files

11

This concerns the spreadsheet and csv files for the terms, as well as the OWL files, within the folder [21838-2](https://github.com/BFO-ontology/BFO-2020/tree/master/21838-2). In the csv and Excel spreadsheet labeled “bfo-2020-terms,” there are...

CDowland

see https://github.com/BFO-ontology/BFO-2020/pull/67#issuecomment-1673525684

alanruttenberg

Bug in [cop-1] and [nui-1]

2

Would allow a model ```code p1 i1 p2 |-------------| | p3 ``` if p1 and p2 (first and last instant) were not part of i1. Fixed by allowing possibility that...

alanruttenberg