issues
search
fabianneuhaus
/
BFO
Apache License 2.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[FN021] definition member_part_of
#71
fabianneuhaus
closed
9 years ago
2
[FN020] Material entities are three-dimensional entities
#70
fabianneuhaus
opened
10 years ago
1
exists_at vs exists during (in particular with respect to extended temporal regions)
#69
fabianneuhaus
closed
10 years ago
3
[018-003] seems too weak
#68
fabianneuhaus
opened
10 years ago
6
[FN019] every independent continuant has a life
#67
fabianneuhaus
opened
10 years ago
2
[FN018] linking the space occupied by an independent continuant and its life
#66
fabianneuhaus
opened
10 years ago
0
[FN17] lifes are existentially dependent on their independent continuants.
#65
fabianneuhaus
opened
10 years ago
0
[FN016] connecting spatial occupation and existence
#64
fabianneuhaus
opened
10 years ago
0
bug fix in [012-002]
#63
fabianneuhaus
opened
10 years ago
0
[FN015] weakened variant of transitivity for s-dependance
#62
fabianneuhaus
opened
10 years ago
0
[041-002] temporal argument
#61
fabianneuhaus
opened
10 years ago
1
particulars and occupies_temporal_region
#60
fabianneuhaus
opened
10 years ago
0
question concerning [099-001]
#59
fabianneuhaus
closed
9 years ago
2
Continuant
#58
fabianneuhaus
opened
10 years ago
0
[FN014] an occurrent occupies a unique spatiotemporal_region
#57
fabianneuhaus
closed
10 years ago
1
temporally_projects_onto vs. occupies_temporal_region
#56
fabianneuhaus
opened
10 years ago
2
temporally_projects_onto [080-004] vs. projects_onto [098-001]
#55
fabianneuhaus
opened
10 years ago
5
[FN013-001] -- There is no first and last temporal interval
#54
fabianneuhaus
closed
10 years ago
0
[FN012], [FN013] more axioms for time points
#53
fabianneuhaus
opened
10 years ago
3
[FN010] + [FN011] Axioms to ensure correlation between 4D and time
#52
fabianneuhaus
opened
10 years ago
1
section 3.15
#51
fabianneuhaus
opened
10 years ago
1
change status of [101-002] to theorem
#50
fabianneuhaus
opened
10 years ago
1
[FN009] "All temporal regions are either 0D or 1D
#49
fabianneuhaus
closed
10 years ago
1
[108-001] uniqueness
#48
fabianneuhaus
closed
10 years ago
1
axiomatize occupies_spatiotemporal_region
#47
fabianneuhaus
closed
10 years ago
1
Clarification question [098-001]
#46
fabianneuhaus
closed
10 years ago
1
[099-001] clarification needed
#45
fabianneuhaus
closed
10 years ago
0
add project_onto.
#44
fabianneuhaus
closed
10 years ago
1
[096-002] is not an axiom, but a theorem
#43
fabianneuhaus
opened
10 years ago
0
Add subcategories fragmented and contigous One Dimensional Temporal Region"
#42
fabianneuhaus
closed
10 years ago
2
FN008 Mutually dependent entities, also depend on something else (non-mutually)
#41
fabianneuhaus
opened
10 years ago
2
Change [129-001] to [129-002]
#40
fabianneuhaus
closed
10 years ago
0
[FN007] mutually dependent continuants exist at the same time
#39
fabianneuhaus
closed
10 years ago
1
Remove theorem [013-002]
#38
fabianneuhaus
closed
10 years ago
1
[FN006] s-dependence is passed along parthood
#37
fabianneuhaus
opened
10 years ago
1
Inconsistency because Transitivity of s-depends
#36
fabianneuhaus
closed
10 years ago
1
Are the following statements true?
#35
fabianneuhaus
opened
10 years ago
3
b is not a boundary of c and b is not a site of which c is the host [64]. [012-002]]
#34
fabianneuhaus
opened
10 years ago
1
[012-002] domain and range of s-depends_on
#33
fabianneuhaus
closed
10 years ago
1
temporal argument in s-depends_on redundant
#32
fabianneuhaus
opened
10 years ago
3
axiomatize occupies
#31
fabianneuhaus
opened
10 years ago
0
[008-002] Persistence (p 19)
#30
fabianneuhaus
opened
10 years ago
0
[126-001] is redundant and can be removed
#29
fabianneuhaus
opened
10 years ago
0
[009-002] is redundant and can be removed
#28
fabianneuhaus
opened
10 years ago
0
[FN005] assign label to has_proper_occurrent_part definition on page 19
#27
fabianneuhaus
opened
10 years ago
0
[FN004] assign label to has_proper_continuant_part definition on page 18
#26
fabianneuhaus
opened
10 years ago
0
[FN003] occurrent_part_of entails existence of the occurrents at the same time
#25
fabianneuhaus
opened
10 years ago
1
No sum in the mereologies?
#24
fabianneuhaus
opened
10 years ago
0
part_of_at in 002-001 and part_of in 003-002
#23
fabianneuhaus
opened
10 years ago
0
111-002 is no theorem.
#22
fabianneuhaus
opened
10 years ago
0
Next