search

zhengj2007 / bfo-export

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

Definition of "Immaterial Entity" #94

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
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 reported on code.google.com by steschu@gmail.com on 8 Jul 2012 at 11:03

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

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

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 alanruttenberg@gmail.com on 10 Jul 2012 at 5:00