zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

Dependence between processes and material entities #101

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
1. Axiom label [083-002]
p is a process = Def. a is an occurrent that has temporal proper parts and for 
some time t, a s-depends on some material entity at t.  

- Are there processes that temporarily do not depend on any material entity? 
- Would this mean that processes also generically dependent on material 
entities? 

2. 
The abovementioned axioms is not in bfo.owl, not even in a weaker variant.

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

GoogleCodeExporter commented 9 years ago
2. Added weaker axiom in bfo.owl next release

Original comment by alanruttenberg@gmail.com on 9 Jul 2012 at 7:44

GoogleCodeExporter commented 9 years ago
Make it a N&S

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