search

zhengj2007 / bfo-export

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

Parthood between continuants of different kinds #91

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The current relations "part_of_continuant..." would not reject assertions 
between relata of different kinds of continuants such as 

image123 has_continuant_part_at_all_times heart456

Additional axioms should control that the relata must be both independent 
continuants, GDCs, of SDCs.

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

GoogleCodeExporter commented 9 years ago 
See http://code.google.com/p/bfo/issues/detail?id=94#c1

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

GoogleCodeExporter commented 9 years ago

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

GoogleCodeExporter commented 9 years ago

Original comment by mcour...@gmail.com on 10 Jul 2012 at 5:11