Definition of "Immaterial Entity"
Closed this issue · 3 comments
zhengj2007 commented
From steschu@gmail.com on July 08, 2012 07:03:20
Def. a is an independent continuant that has no material entities as parts. [028-001]
so could it have dependent continuants as parts (this would not generate any contradiction given the current domain and range of parthood between continuants
Original issue: http://code.google.com/p/bfo/issues/detail?id=94
zhengj2007 commented
From alanruttenberg@gmail.com on July 09, 2012 00:40:35
In next release added a variety of axioms like
ic part of only (not sdc or gdc)
since continuant isn't closed, this is conservative
please close if satisfactory
zhengj2007 commented
From alanruttenberg@gmail.com on July 09, 2012 21:33:27
Status: Submitter-Review
zhengj2007 commented
From alanruttenberg@gmail.com on July 10, 2012 10:00:42
Status: Fixed