search

zhengj2007 / bfo-trunk

0 stars 0 forks source link

Definition of "Immaterial Entity" #93

Closed zhengj2007 closed 9 years ago

zhengj2007 commented 9 years ago

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 9 years ago

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 9 years ago

From alanruttenberg@gmail.com on July 09, 2012 21:33:27

Status: Submitter-Review

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on July 10, 2012 10:00:42

Status: Fixed