BFO-ontology/BFO

Definition of "Immaterial Entity"

Closed this issue · 3 comments

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

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

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

Status: Submitter-Review

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

Status: Fixed