Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / fabianneuhaus/BFO issues and pull requests

#71 - [FN021] definition member_part_of

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 2 comments
Labels: BFO Spec Change Proposal, new axiom

#70 - [FN020] Material entities are three-dimensional entities

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Change, new axiom

#68 - [018-003] seems too weak

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 6 comments
Labels: question

#67 - [FN019] every independent continuant has a life

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 2 comments
Labels: BFO Spec Change Proposal, new axiom

#66 - [FN018] linking the space occupied by an independent continuant and its life

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Change, new axiom

#65 - [FN17] lifes are existentially dependent on their independent continuants.

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal, new axiom

#64 - [FN016] connecting spatial occupation and existence

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal, new axiom

#63 - bug fix in [012-002]

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Change

#62 - [FN015] weakened variant of transitivity for s-dependance

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Change, new axiom

#61 - [041-002] temporal argument

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: question

#60 - particulars and occupies_temporal_region

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: ToDo

#59 - question concerning [099-001]

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 2 comments
Labels: question

#58 - Continuant

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: ToDo

#57 - [FN014] an occurrent occupies a unique spatiotemporal_region

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Spec Change Proposal, new axiom

#56 - temporally_projects_onto vs. occupies_temporal_region

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 2 comments
Labels: BFO Change

#55 - temporally_projects_onto [080-004] vs. projects_onto [098-001]

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 5 comments
Labels: BFO Change

#54 - [FN013-001] -- There is no first and last temporal interval

Issue - State: closed - Opened by fabianneuhaus about 10 years ago
Labels: new axiom

#53 - [FN012], [FN013] more axioms for time points

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 3 comments
Labels: new axiom

#52 - [FN010] + [FN011] Axioms to ensure correlation between 4D and time

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Change, new axiom

#51 - section 3.15

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Change

#50 - change status of [101-002] to theorem

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Change

#49 - [FN009] "All temporal regions are either 0D or 1D

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: new axiom

#48 - [108-001] uniqueness

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment

#47 - axiomatize occupies_spatiotemporal_region

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: ToDo

#46 - Clarification question [098-001]

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: question

#45 - [099-001] clarification needed

Issue - State: closed - Opened by fabianneuhaus about 10 years ago
Labels: question

#44 - add project_onto.

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment

#43 - [096-002] is not an axiom, but a theorem

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Change

#42 - Add subcategories fragmented and contigous One Dimensional Temporal Region"

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 2 comments
Labels: BFO Spec Change Proposal

#41 - FN008 Mutually dependent entities, also depend on something else (non-mutually)

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 2 comments
Labels: BFO Change, new axiom

#40 - Change [129-001] to [129-002]

Issue - State: closed - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal

#39 - [FN007] mutually dependent continuants exist at the same time

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Spec Change Proposal, new axiom

#38 - Remove theorem [013-002]

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Spec Change Proposal

#37 - [FN006] s-dependence is passed along parthood

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: new axiom

#36 - Inconsistency because Transitivity of s-depends

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: question

#35 - Are the following statements true?

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 3 comments
Labels: question

#34 - b is not a boundary of c and b is not a site of which c is the host [64]. [012-002]]

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: ToDo

#33 - [012-002] domain and range of s-depends_on

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: question

#32 - temporal argument in s-depends_on redundant

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 3 comments
Labels: question, BFO Spec Change Proposal

#31 - axiomatize occupies

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: ToDo

#30 - [008-002] Persistence (p 19)

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: ToDo

#29 - [126-001] is redundant and can be removed

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal

#28 - [009-002] is redundant and can be removed

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal

#25 - [FN003] occurrent_part_of entails existence of the occurrents at the same time

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Spec Change Proposal, new axiom

#24 - No sum in the mereologies?

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: question

#23 - part_of_at in 002-001 and part_of in 003-002

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: question

#22 - 111-002 is no theorem.

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal

#21 - Terminology in section 2.9

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal

#20 - What is the difference between a defined class and a specialization?

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 3 comments
Labels: BFO Spec Change Proposal

#19 - parthood entails existence [FN002-001]

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal, new axiom

#18 - bug in [111-002]

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal

#17 - bug in [122-001]?

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 2 comments

#16 - Every entity exists during some temporal region. [FN001-001]

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Spec Change Proposal, new axiom

#15 - types vs universals?

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: question

#14 - Make disjointness in taxonomy explicit.

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Change

#13 - why is there no "complete process" in Fig1?

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Change

#12 - axiomatize memberOf@

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: review later

#11 - Figure 1

Issue - State: open - Opened by fabianneuhaus about 10 years ago
Labels: BFO Change

#10 - defined class in taxonomy?

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment

#9 - Rename Entity to Particular?

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Spec Change Proposal

#8 - Exhaustiveness of Continuant or Occurrent?

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment

#7 - Add disjointness axioms to taxonomy

Issue - State: closed - Opened by fabianneuhaus about 10 years ago
Labels: ToDo

#6 - Exhaustiveness of universal/particular

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: question

#5 - instantiation at a time?

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment

#4 - add tracking number to "Entities can be divided into instances and universals"

Issue - State: open - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: BFO Change

#3 - particular or instance?

Issue - State: closed - Opened by fabianneuhaus about 10 years ago
Labels: question

#2 - universal or type

Issue - State: closed - Opened by fabianneuhaus about 10 years ago
Labels: question

#1 - disjointness in taxonomy?

Issue - State: closed - Opened by fabianneuhaus about 10 years ago - 1 comment
Labels: question