Skip to content

Issues: fabianneuhaus/BFO

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

44 Open 27 Closed
44 Open 27 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

[FN020] Material entities are three-dimensional entities BFO Change new axiom
#70 opened Aug 26, 2014 by fabianneuhaus
1
[018-003] seems too weak question
#68 opened Aug 26, 2014 by fabianneuhaus
6
[FN019] every independent continuant has a life BFO Spec Change Proposal new axiom
#67 opened Aug 26, 2014 by fabianneuhaus
2
[FN018] linking the space occupied by an independent continuant and its life BFO Change new axiom
#66 opened Aug 26, 2014 by fabianneuhaus
[FN17] lifes are existentially dependent on their independent continuants. BFO Spec Change Proposal new axiom
#65 opened Aug 26, 2014 by fabianneuhaus
[FN016] connecting spatial occupation and existence BFO Spec Change Proposal new axiom
#64 opened Aug 26, 2014 by fabianneuhaus
bug fix in [012-002] BFO Change
#63 opened Aug 26, 2014 by fabianneuhaus
[FN015] weakened variant of transitivity for s-dependance BFO Change new axiom
#62 opened Aug 26, 2014 by fabianneuhaus
[041-002] temporal argument question
#61 opened Aug 26, 2014 by fabianneuhaus
1
particulars and occupies_temporal_region ToDo
#60 opened Aug 25, 2014 by fabianneuhaus
Continuant ToDo
#58 opened Aug 25, 2014 by fabianneuhaus
temporally_projects_onto vs. occupies_temporal_region BFO Change
#56 opened Aug 14, 2014 by fabianneuhaus
2
temporally_projects_onto [080-004] vs. projects_onto [098-001] BFO Change
#55 opened Aug 14, 2014 by fabianneuhaus
5
[FN012], [FN013] more axioms for time points new axiom
#53 opened Aug 11, 2014 by fabianneuhaus
3
[FN010] + [FN011] Axioms to ensure correlation between 4D and time BFO Change new axiom
#52 opened Aug 11, 2014 by fabianneuhaus
1
section 3.15 BFO Change
#51 opened Aug 11, 2014 by fabianneuhaus
1
change status of [101-002] to theorem BFO Change
#50 opened Aug 11, 2014 by fabianneuhaus
1
[096-002] is not an axiom, but a theorem BFO Change
#43 opened Aug 11, 2014 by fabianneuhaus
FN008 Mutually dependent entities, also depend on something else (non-mutually) BFO Change new axiom
#41 opened Aug 7, 2014 by fabianneuhaus
2
[FN006] s-dependence is passed along parthood new axiom
#37 opened Aug 4, 2014 by fabianneuhaus
1
Are the following statements true? question
#35 opened Aug 3, 2014 by fabianneuhaus
3
b is not a boundary of c and b is not a site of which c is the host [64]. [012-002]] ToDo
#34 opened Aug 3, 2014 by fabianneuhaus
1
temporal argument in s-depends_on redundant BFO Spec Change Proposal question
#32 opened Aug 3, 2014 by fabianneuhaus
3
axiomatize occupies ToDo
#31 opened Aug 3, 2014 by fabianneuhaus
[008-002] Persistence (p 19) ToDo
#30 opened Aug 3, 2014 by fabianneuhaus
ProTip! Find all open issues with in progress development work with linked:pr.