search

zhengj2007 / bfo-export

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

Generically dependent continuants can depend on nothing #88

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
... according to the current OWL axiomatization, which only requires dependence 
at some time 

Probably only to be solved with introducing temporally qualified continuants at 
a later stage.

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

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 5:19