Skip to content

Issues: BFO-ontology/BFO-2020

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

41 Open 61 Closed
41 Open 61 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

FEATURE: [Distinguish axioms from theorems in the BFO FOL] enhancement New feature or request
#111 opened Sep 26, 2024 by alanruttenberg
@alanruttenberg
1
BFO OWL in repository, intended as a derived product, has been edited and is now out of sync bug Something isn't working
#110 opened Sep 25, 2024 by alanruttenberg
@phismith @johnbeve
8
Inconsistent use of the word 'plurality' in the annotations of 'object aggregate' bug Something isn't working
#109 opened Sep 22, 2024 by avsculley
@phismith
4
Questions about continuant fiat boundaries discussion a question or comment followed by discussion
#107 opened Sep 9, 2024 by johnbeve
@phismith @johnbeve
15
‘occupies spatial region’ definition and mereological change bug Something isn't working
#104 opened Sep 5, 2024 by gregfowlerphd
@johnbeve
4
Minor issue with definition of ‘located in’ bug Something isn't working
#103 opened Sep 5, 2024 by gregfowlerphd
@johnbeve
1
Definition and domain axiom of 'member part of' are not equally restrictive bug Something isn't working
#102 opened Sep 5, 2024 by avsculley
@phismith @johnbeve
6
BUG: Misuse of spatially projects onto in textual definition for occurs in bug Something isn't working
#99 opened Aug 22, 2024 by gregfowlerphd
@johnbeve
2
BUG: Superfluous variable in textual definition of ‘first instant of’ bug Something isn't working
#98 opened Aug 22, 2024 by gregfowlerphd
@johnbeve
2
BUG: kbr-1 is ill-formed bug Something isn't working FOL staged The FOL source has been updated, but not yet published
#97 opened Aug 7, 2024 by mereolog
@alanruttenberg
4
BUG: Incorrect CLIF commented sentences bug Something isn't working FOL staged The FOL source has been updated, but not yet published
#96 opened Aug 7, 2024 by mereolog
@alanruttenberg
1
BUG: Incorrect usage of CLIF titlings bug Something isn't working FOL staged The FOL source has been updated, but not yet published
#95 opened Aug 7, 2024 by mereolog
@alanruttenberg
1
BUG: Typo in GDC Axioms bug Something isn't working FOL staged The FOL source has been updated, but not yet published
#91 opened Apr 30, 2024 by CarterBeauBenson
@alanruttenberg
1
BUG: dc11:license bug Something isn't working
#88 opened Apr 7, 2024 by johanwk
@johnbeve
2
Use of continuant part of and occurrent part of bug Something isn't working
#87 opened Mar 23, 2024 by wdduncan
@johnbeve
3
Who controls the IRI for realizes? bug Something isn't working
#85 opened Mar 23, 2024 by wdduncan
@johnbeve
1
function definition: "realize process of a certain sort" bug Something isn't working
#84 opened Mar 23, 2024 by wdduncan
@johnbeve
1
Question on qualities of spatial regions discussion a question or comment followed by discussion
#83 opened Mar 8, 2024 by ajnelson-nist
24
Questions about occupies-spatial-region bug Something isn't working
#82 opened Mar 5, 2024 by michaelrabenberg
17
BUG: typo "argumentwhen" in several axioms. bug Something isn't working FOL staged The FOL source has been updated, but not yet published
#81 opened Feb 8, 2024 by alanruttenberg
@alanruttenberg
The spatial regions that continuant fiat boundaries occupy bug Something isn't working
#76 opened Dec 13, 2023 by michaelrabenberg
77
Material entities (and sites) occupy 3D spatial regions (right?) FOL staged The FOL source has been updated, but not yet published
#74 opened Dec 11, 2023 by michaelrabenberg
@alanruttenberg
20
Submit PR to github linguist to let it know about prover9, ofn, cl file types enhancement New feature or request
#70 opened Aug 10, 2023 by alanruttenberg
Spreadsheet errors, and relations absent from OWL files bug Something isn't working
#69 opened Aug 8, 2023 by CDowland
@johnbeve
11
Bug in [cop-1] and [nui-1] bug Something isn't working
#66 opened May 29, 2023 by alanruttenberg
@alanruttenberg
2
ProTip! Updated in the last three days: updated:>2024-09-29.