Property chain concretizes_at_some_time o specifically_depends_on_at_some_time

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo

0 stars 0 forks source link

Property chain concretizes_at_some_time o specifically_depends_on_at_some_time #86

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Suggestion:

concretizes_at_some_time o specifically_depends_on_at_some_time 
-> generically_depends_on_at_some_time 

Alternative:
Add axiom:
generically_dependent_continunant subclassOf 
      generically_depends_on_at_some_time some independent_continuant

Original issue reported on code.google.com by steschu@gmail.com on 8 Jul 2012 at 9:52

GoogleCodeExporter commented 9 years ago

we don't have specifically_depends_on_at_some_time (only at all times)
also, I'm not sure that compositions like: at some time o at some time < at 
some time work as the times might not align.

I added 

has-s-dep_st o concretizes_at < has-g-dep_st
has-s-dep_at o concretizes_at < has-g-dep_at

Please close if satisfactory

Original comment by alanruttenberg@gmail.com on 9 Jul 2012 at 8:12

Changed state: Started
Added labels: Type-BFO2-OWL
Removed labels: Type-BFO2-Reference

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 4:32

Changed state: Submitter-Review