Parthood between continuants of different kinds
Closed this issue · 3 comments
zhengj2007 commented
From steschu@gmail.com on July 08, 2012 06:49:21
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: http://code.google.com/p/bfo/issues/detail?id=91
zhengj2007 commented
From alanruttenberg@gmail.com on July 09, 2012 00:54:57
zhengj2007 commented
From alanruttenberg@gmail.com on July 09, 2012 21:33:58
Status: Submitter-Review
zhengj2007 commented
From mcour...@gmail.com on July 10, 2012 10:11:54
Status: Fixed